Logic for Computer Science : Foundations of Automatic Theorem Proving, Second Edition
Jean H. Gallier
Download - Immediately Available
Format: eBook (EPUB)
Stable Domination and Independence in Algebraically Closed Valued Fields
Deirdre Haskell
Download - Immediately Available
Format: eBook (PDF)
Mathematics, Models, and Modality : Selected Philosophical Essays
John P. Burgess
Download - Immediately Available
Format: eBook (PDF)
Introduction to Non-Classical Logic : From If to Is
Graham Priest
Download - Immediately Available
Format: eBook (EPUB)
The Great Formal Machinery Works : Theories of Deduction and Computation at the Origins of the Digital Age
Jan von Plato
Download - Immediately Available
Format: eBook (PDF)
Advances in Experimental Philosophy of Logic and Mathematics
Professor Andrew Aberdein
Download - Immediately Available
Format: eBook (PDF)
Advances in Experimental Philosophy of Logic and Mathematics
Professor Andrew Aberdein
Download - Immediately Available
Format: eBook (EPUB)
The Beauty of Mathematics in Computer Science
Jun Wu
Download - Immediately Available
Format: eBook (EPUB)
The Beauty of Mathematics in Computer Science
Jun Wu
Download - Immediately Available
Format: eBook (PDF)
Philosophical Logic : A Contemporary Introduction
John MacFarlane
Download - Immediately Available
Format: eBook (EPUB)
Philosophical Logic : A Contemporary Introduction
John MacFarlane
Download - Immediately Available
Format: eBook (PDF)
The Art of Proof : Basic Training for Deeper Mathematics
Matthias Beck
Download - Immediately Available
Format: eBook (PDF)
The Universal Computer : The Road from Leibniz to Turing, Third Edition
Martin Davis
Download - Immediately Available
Format: eBook (EPUB)
The Universal Computer : The Road from Leibniz to Turing, Third Edition
Martin Davis
Download - Immediately Available
Format: eBook (PDF)
Proofs and Fundamentals : A First Course in Abstract Mathematics
Ethan D. Bloch
Download - Immediately Available
Format: eBook (PDF)
Phenomenology and Logic : The Boston College Lectures on Mathematical Logic and Existentialism, Volume 18
Bernard Lonergan
Download - Immediately Available
Format: eBook (EPUB)
Stochastic Calculus with Infinitesimals
Frederik S. Herzberg
Download - Immediately Available
Format: eBook (PDF)
Formal Concept Analysis : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings
Peggy Cellier
Download - Immediately Available
Format: eBook (PDF)
Unconventional Computation and Natural Computation : 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings
Giancarlo Mauri
Download - Immediately Available
Format: eBook (PDF)
Proceedings of the Summer School in Logik, Leeds, 1967 : N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic
Martin H. Lob
Download - Immediately Available
Format: eBook (PDF)
The Syntax and Semantics of Infinitary Languages
Jon Barwise
Download - Immediately Available
Format: eBook (PDF)