Discrete Mathematics Books
1. Topoi: The Categorial Analysis of Logic ©1984-2006 (Robert Goldblatt) 576 pages
2. A Problem Course in Mathematical Logic ©1996-2003 (Stefan Bilaniuk)
3. Language, Proof and Logic ©2002 (Jon Barwise and John Etchemendy) 598 pages
4. Fundamentals of Model Theory ©2000 (William Weiss, Cherie D'Mello)
5. Model Theory, Algebra and Geometry ©2000 (Deirdre Haskell, Anand Pillay, Charles Steinhorn)
6. Logic for Computer Science: Foundations of Automatic Theorem Proving (Jean Gallier)
7. An Introduction to Set Theory ©2006 (William Weiss)
8. Logic and Proof ©2002 (Dr Larry Paulson)
Computational Complexity Books
9. Determinacy in Infinite Games (Jindrich Zapletal)
10. Proofs and Types ©1989 (Jean-Yves Girard)
Post a Comment
Search
No comments:
Post a Comment