Contact
DMCA
Privacy Policy
EBookin
Toggle navigation
Categories
Genre
Best Book 2021
Best Young Adult Books
Best Sci-Fict & Fantasy
NY Times Best Books
Best Romance Novel
Best self-published Amazon
Best Kindle & Prime Amazon
100 Books to Read
100 Child Books to Read
Art
Biography
Business
Childrens
Classics
Comics
Contemporary
Manga
Memoir
Music
Mystery
Non Fiction
Poetry
Psychology
Cookbooks
Religion
Crime
Romance
Science
Fantasy
Science Fiction
Fiction
Graphic Novels
Sport
History
Thriller
Horror
Travel
Humor and Comedy
Young Adult
More Than
12,0657,538
Books Collection
Home
New release
Popular Books
Most Read
Popular Author
03 Logic And Set Theory Books Categories
home
03 Logic And Set Theory Books Categories
03 Logic And Set Theory Categories Books List
03 Logic And Set Theory Books Categories
View More
Toposes, Triples and Theories (Hardcover)
By:
M. Barr
View More
The Foundations of Mathematics (Paperback)
By:
Ian Stewart
View More
Postmodern Analysis (Universitext)
By:
Jürgen Jost
View More
Model Theory (Oxford Logic Guides)
By:
Maria Manzano
View More
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
By:
Shawn Hedman
View More
Handbook of Proof Theory (Volume 137) (Studies in Logic and the Foundations of Mathematics, Volume 137)
By:
Samuel R. Buss
View More
Metamathematics, Machines and Gödel's Proof (Cambridge Tracts in Theoretical Computer Science, Series Number 38)
By:
N. Shankar
View More
Introduction to Axiomatic Set Theory (Graduate Texts in Mathematics)
By:
G. Takeuti
View More
A Course in Model Theory (ebook)
By:
Katrin Tent
View More
Naive Set Theory (Undergraduate Texts in Mathematics)
By:
Paul R. Halmos
View More
Model Theory: An Introduction (Graduate Texts in Mathematics, Vol. 217)
By:
David Marker
View More
Introduction to Logic (Dover Books on Mathematics)
By:
Patrick C. Suppes
View More
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
By:
Anne S. Troelstra
View More
Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)
By:
Pavel Pudlák
View More
Recursion Theory, Godel's Theorems, Set Theory, Model Theory (Mathematical Logic: A Course With Exercises, Part II)
By:
Rene Cori
View More
Mathematical Logic, 2nd Edition (Hardcover)
By:
Heinz-Dieter Ebbinghaus
View More
Theorem Proving in Lean (ebook)
By:
Jeremy Avigad
View More
An Invitation to General Algebra and Universal Constructions (Universitext)
By:
George M. Bergman
View More
Homotopy Type Theory (ebook)
By:
The Univalent Foundations Program
View More
Proof Theory: An Introduction (Lecture Notes in Mathematics, 1407)
By:
Wolfram Pohlers
View More
Theory of Sets (Ettore Majorana International Science)
By:
Nicolas Bourbaki
View More
Foundations of Set Theory (Volume 67) (Studies in Logic and the Foundations of Mathematics, Volume 67)
By:
Abraham Adolf Fraenkel
View More
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 (Paperback)
By:
Jean Van Heijenoort
View More
Classical Descriptive Set Theory (Graduate Texts in Mathematics, 156)
By:
Alexander S. Kechris
View More
Accessible Categories: The Foundations of Categorical Model Theory (Contemporary Mathematics)
By:
Mihály Makkai
View More
Propositional and Predicate Calculus: A Model of Argument (Unknown Binding)
By:
Derek Goldrei
View More
Undecidable Theories: Studies in Logic and the Foundation of Mathematics (Dover Books on Mathematics)
By:
Alfred Tarski
View More
Interactive Theorem Proving and Program Development (Hardcover)
By:
Yves Bertot
View More
Proof Patterns (Paperback)
By:
Mark Joshi
View More
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)
By:
Tobias Nipkow
View More
Mathematical Logic and Model Theory: A Brief Introduction (Universitext)
By:
Alexander Prestel
View More
The Seventeen Provers of the World (Paperback)
By:
Freek Wiedijk
View More
Structural Proof Theory (Paperback)
By:
Sara Negri
View More
Basic Model Theory (Studies in Logic, Language, and Information)
By:
Kees Doets
View More
Classic Set Theory (Chapman & Hall Mathematics S)
By:
Derek Goldrei
View More
Proof Theory: The First Step into Impredicativity (Universitext)
By:
Wolfram Pohlers
View More
Set Theory (Hardcover)
By:
Thomas J. Jech
View More
The Mathematics of Logic (Paperback)
By:
Richard W. Kaye
View More
Universal Algebra and Applications in Theoretical Computer Science (Hardcover)
By:
Klaus Denecke
View More
Automated theorem proving: A logical basis (Fundamental studies in computer science)
By:
Donald W. Loveland
View More
Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics, Series Number 59)
By:
Paul Taylor
View More
Mathematical Logic for Computer Science (Paperback)
By:
Mordechai Ben-Ari
View More
Journey into Mathematics: An Introduction to Proofs (Dover Books on Mathematics)
By:
Joseph J. Rotman
View More
Handbook of Mathematical Logic (Volume 90) (Studies in Logic and the Foundations of Mathematics, Volume 90)
By:
Jon Barwise
View More
From a Geometrical Point of View (Logic, Epistemology, and the Unity of Science, 14)
By:
Marquis
View More
A Book of Set Theory (Dover Books on Mathematics)
By:
Charles C. Pinter
View More
Zermelo's Axiom of Choice: Its Origins, Development, and Influence (Hardcover)
By:
Gregory H. Moore
View More
Discrete Mathematics: Introduction to Mathematical Reasoning (Hardcover)
By:
Susanna S. Epp