The University of South Florida Libraries provide access to 970,081 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
45 matches found. Showing 1 - 5045
Cover | Description | Access / Request |
---|---|---|
![]() | A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity ISBN: 9780191916656 Platform/Publisher: Oxford Academic / Oxford University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Computer Architecture and Logic Design; ■ Detailed Information (with preview link) | |
![]() | A Model–Theoretic Approach to Proof Theory ISBN: 9783030289218 Platform/Publisher: SpringerLink / Springer International Publishing Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Mathematics and Statistics; ■ Detailed Information (with preview link) | |
![]() | A Proof Theory for Description Logics ISBN: 9781447140023 Platform/Publisher: SpringerLink / Springer London Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
![]() | A Proof Theory for General Unification ISBN: 9781461204350 Platform/Publisher: SpringerLink / Birkhäuser Boston Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Mathematics and Statistics; ■ Detailed Information (with preview link) | |
![]() | Advances in Proof Theory ISBN: 9783319291987 Platform/Publisher: SpringerLink / Springer International Publishing Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Mathematics and Statistics; ■ Detailed Information (with preview link) | |
![]() | An examination of the structural principles of Mr. Herbert Spencer''s philosophy: Intended as a proof that theism is the only theory of the universe that can satisfy reason ISBN: 9799962661492 Platform/Publisher: PsycBOOKS / Parker and Co Digital rights: Users: Unlimited; Printing: Chapter; Download: Chapter Subjects: Philosophy; ■ Detailed Information (with preview link) | |
![]() | An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof ISBN: 9789401599344 Platform/Publisher: SpringerLink / Springer Netherlands Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Mathematics and Statistics; ■ Detailed Information (with preview link) | |
![]() | An Introduction to Proof Theory ISBN: 9780192895936 Platform/Publisher: Oxford Academic / Oxford University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Philosophy Logic / Philosophy of Mathematics; ■ Detailed Information (with preview link) | |
![]() | An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs ISBN: 9780191938795 Platform/Publisher: Oxford Academic / Oxford University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Philosophy of Mathematics and Logic; ■ Detailed Information (with preview link) | |
![]() | Anselm''s Other Argument ISBN: 9780674726000 Platform/Publisher: JSTOR / Harvard University Press Digital rights: Users: unlimited; Printing: chapter; Download: chapter Subjects: Anselm Saint Archbishop of Canterbury 1033–1109; God -- Proof Ontological -- Early works to 1800; Ontology; Modality (Theory of knowledge); ■ Detailed Information | |
![]() | Applied Proof Theory: Proof Interpretations and Their Use in Mathematics ISBN: 9783540775331 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Mathematics and Statistics; ■ Detailed Information (with preview link) | |
![]() | Arnon Avron on Semantics and Proof Theory of Non-Classical Logics ISBN: 9783030712587 Platform/Publisher: Ebook Central / Springer International Publishing AG Digital rights: Users: Unlimited; Printing: Limited; Download: 7 Days at a Time Subjects: Philosophy; ■ Detailed Information | |
![]() | Basic Proof Theory ISBN: 9781139168717 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited ■ Detailed Information (with preview link) | |
![]() | Combinators, λ-Terms and Proof Theory ISBN: 9789401029131 Platform/Publisher: SpringerLink / Springer Netherlands Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Humanities Social Sciences and Law; ■ Detailed Information (with preview link) | |
![]() | Computation and Proof Theory ISBN: 9783540391197 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Mathematics and Statistics; ■ Detailed Information (with preview link) | |
![]() | Computational Logic and Proof Theory ISBN: 9783540698067 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
![]() | Computational Logic and Proof Theory ISBN: 9783540479437 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
![]() | Goal-Directed Proof Theory ISBN: 9789401717137 Platform/Publisher: SpringerLink / Springer Netherlands Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Mathematics and Statistics; ■ Detailed Information (with preview link) | |
![]() | Hybrid Logic and its Proof-Theory ISBN: 9789400700024 Platform/Publisher: SpringerLink / Springer Netherlands Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Mathematics and Statistics; ■ Detailed Information (with preview link) | |
![]() | Introduction to Proof Through Number Theory ISBN: 9781470472580 Platform/Publisher: Ebook Central / American Mathematical Society Digital rights: Users: Unlimited; Printing: Limited; Download: 7 Days at a Time Subjects: Mathematics; ■ Detailed Information | |
![]() | Logic Programming: Operational Semantics and Proof Theory ISBN: 9780511526534 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited ■ Detailed Information (with preview link) | |
![]() | Math Proofs Demystified ISBN: 9780071469920 Platform/Publisher: PQ ebrary / McGraw-Hill Digital rights: Users: Unlimited; Printing: Limited; Download: 7 Days at a time Subjects: Proof theory : Popular works.; ■ Detailed Information (with preview link) | |
![]() | Mathematical Intuitionism: Introduction to Proof Theory ISBN: 9781470444815 Platform/Publisher: Ebook Central / American Mathematical Society Digital rights: Users: Unlimited; Printing: Limited; Download: 7 Days at a Time Subjects: Mathematics; ■ Detailed Information | |
![]() | Meditations on First Philosophy/ Meditationes de prima philosophia: A Bilingual Edition ISBN: 9780268161101 Platform/Publisher: JSTOR / University of Notre Dame Press Digital rights: Users: unlimited; Printing: chapter; Download: chapter Subjects: First philosophy -- Early works to 1800; God -- Proof Ontological -- Early works to 1800; Methodology -- Early works to 1800; Knowledge Theory of -- Early works to 1800; ■ Detailed Information | |
![]() | Proof Theory ISBN: 9783642664731 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Mathematics and Statistics; ■ Detailed Information (with preview link) | |
![]() | Proof Theory ISBN: 9783540693192 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Mathematics and Statistics; ■ Detailed Information (with preview link) | |
![]() | Proof Theory ISBN: 9783540468257 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Mathematics and Statistics; ■ Detailed Information (with preview link) | |
![]() | Proof Theory ISBN: 9789401727969 Platform/Publisher: SpringerLink / Springer Netherlands Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Humanities Social Sciences and Law; ■ Detailed Information (with preview link) | |
![]() | Proof Theory and Intuitionistic Systems ISBN: 9783540368755 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Mathematics and Statistics; ■ Detailed Information (with preview link) | |
![]() | Proof Theory for Fuzzy Logics ISBN: 9781402094095 Platform/Publisher: SpringerLink / Springer Netherlands Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Mathematics and Statistics; ■ Detailed Information (with preview link) | |
![]() | Proof Theory in Computer Science ISBN: 9783540455042 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Computer Science; ■ Detailed Information (with preview link) | |
![]() | Proof Theory of Modal Logic ISBN: 9789401727983 Platform/Publisher: SpringerLink / Springer Netherlands Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Mathematics and Statistics; ■ Detailed Information (with preview link) | |
![]() | Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 ISBN: 9780511896262 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited ■ Detailed Information (with preview link) | |
![]() | Proof Theory: Sequent Calculi and Related Formalisms ISBN: 9780429099694 Platform/Publisher: Taylor & Francis / Chapman and Hall/CRC Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Computer Science; Mathematics & Statistics; Algorithms & Complexity; Advanced Mathematics; Discrete Mathematics; ■ Detailed Information | |
![]() | Proof, Evidentiary Assessment and Credibility in Asylum Procedures ISBN: 9789047406198 Platform/Publisher: BRILL / Brill | Nijhoff Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Analytical Philosophy.; Consciousness.; Language.; Mentalism.; Philosophy of Mind.; Proposition (Logic) Theory of.; Proposition Philosophy of.; Self-Reflection.; Truth.; ■ Detailed Information (with preview link) | |
![]() | Reductive Logic and Proof-search: Proof Theory, Semantics, and Control ISBN: 9780191712012 Platform/Publisher: Oxford Academic / Oxford University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Mathematics; ■ Detailed Information (with preview link) | |
![]() | Structural Proof Theory ISBN: 9780511527340 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited ■ Detailed Information (with preview link) | |
![]() | The Economic Merry-Go-Round (RLE: Business Cycles): A New Theory of Trade Cycles with the Document of History as Proof ISBN: 9781315720265 Platform/Publisher: Taylor & Francis / Routledge Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Economics Finance Business & Industry; Economics; Economic Theory & Philosophy; Economic Forecasting; ■ Detailed Information | |
![]() | The OSCE Code of Conduct on Politico-Military Aspects of Security ISBN: 9789047407089 Platform/Publisher: BRILL / Brill | Nijhoff Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Evidence.; Proof theory.; ■ Detailed Information (with preview link) | |
![]() | The Semantics and Proof Theory of the Logic of Bunched Implications ISBN: 9789401700917 Platform/Publisher: SpringerLink / Springer Netherlands Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Mathematics and Statistics; ■ Detailed Information (with preview link) | |
![]() | Three Views of Logic ISBN: 9781400848751 Platform/Publisher: Project MUSE / Princeton University Press Digital rights: Users: Unlimited; Printing: Chapters; Download: Chapters Subjects: Nichtklassische Logik.; Beweistheorie.; Berechenbarkeit.; Proof theory.; Nonclassical mathematical logic.; Computable functions.; Nonclassical mathematical logic.; Computable functions.; Proof theory.; ■ Detailed Information | |
![]() | Type Theory and Formal Proof: An Introduction ISBN: 9781139567725 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited ■ Detailed Information (with preview link) | |
![]() | Ways of Proof Theory ISBN: 9783110324907 Platform/Publisher: De Gruyter / De Gruyter Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited ■ Detailed Information (with preview link) | |
![]() | What Logics Mean: From Proof Theory to Model-Theoretic Semantics ISBN: 9781139856461 Platform/Publisher: Cambridge Core / Cambridge University Press Digital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited ■ Detailed Information (with preview link) | |
![]() | ⊨ISILC Proof Theory Symposion ISBN: 9783540380207 Platform/Publisher: SpringerLink / Springer Berlin Heidelberg Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited Subjects: Mathematics and Statistics; ■ Detailed Information (with preview link) |