TECHTEAM SHUT THE WINDOWS OF THE PAST

Friday, September 19, 2008

Mathematical Logic - Set Theory, Model Theory, Computability, etc

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)

No comments: