>if archive.org scans in a hardback with its ISBN, what do I use for the scanned pdf?
The scanned pdf just doesn't have an ISBN. ISBNs are assigned by publishers to products for inventory management. That's it. If archive.org scans a book, it's not a product that needs inventory control.