The University of South Florida Libraries provide access to 1,014,591 unique ebooks. Faculty can search the database and select titles for course adoption. If you select a title that is not currently part of our collection, USF Libraries will attempt to purchase the title and make it available. Please note that the USF Libraries cannot license access to etextbooks by major textbook publishers such as Pearson, McGraw-Hill, Cengage or W.W. Norton.
To adopt a book, you need to sign on using your NetID with USF authentication page.
To request an ebook for your course through EB+, please complete this form.
If you have any questions or feedback, please contact us.
Search Database for ebooks to adopt
6 matches found. Showing 1 - 506
| Cover | Description | Access / Request |
|---|---|---|
 | A Course in Model Theory ISBN: 9781139015417 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Science and Engineering; Computer Science Mathematics; Logic Categories and Sets Programming Languages and Applied Logic; ■ Detailed Information (with preview link) | |
 | Effective Mathematics of the Uncountable ISBN: 9781139028592 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Science and Engineering; Computer Science Mathematics; Algorithmics Complexity Computer Algebra Computational Geometry Logic Categories and Sets Programming Languages and Applied Logic; ■ Detailed Information (with preview link) | |
 | Graph Structure and Monadic Second-Order Logic ISBN: 9780511977619 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Science and Engineering; Computer Science Mathematics; Logic Categories and Sets Programming Languages and Applied Logic Recreational Mathematics; ■ Detailed Information (with preview link) | |
 | Lambda Calculus with Types ISBN: 9781139032636 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Science and Engineering; Computer Science Mathematics; Logic Categories and Sets Programming Languages and Applied Logic; ■ Detailed Information (with preview link) | |
 | Programming with Higher-Order Logic ISBN: 9781139021326 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Science and Engineering; Computer Science Mathematics; Logic Categories and Sets Programming Languages and Applied Logic; ■ Detailed Information (with preview link) | |
 | Turing's Legacy ISBN: 9781107338579 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Science and Engineering; Computer Science Mathematics; Logic Categories and Sets Programming Languages and Applied Logic; ■ Detailed Information (with preview link) |