Differences
This shows you the differences between two versions of the page.
sav08:mathematical_logic_and_type_theory [2008/03/11 22:52] vkuncak created |
sav08:mathematical_logic_and_type_theory [2008/04/06 16:26] vkuncak |
||
---|---|---|---|
Line 3: | Line 3: | ||
Peter B. Andrews. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Second Edition, Kluwer Academic Publishers, 2002. | Peter B. Andrews. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Second Edition, Kluwer Academic Publishers, 2002. | ||
- | Excellent introduction to propositional, first-order, and higher-order logic. | + | Excellent introduction to propositional, first-order, and higher-order logic, including advanced topics such as interpolation and Goedel's theorem. |
* http://gtps.math.cmu.edu/tttp.html | * http://gtps.math.cmu.edu/tttp.html | ||
* [[http://books.google.ch/books?id=FaQ7uHeWpTUC|Book at books.google]] | * [[http://books.google.ch/books?id=FaQ7uHeWpTUC|Book at books.google]] | ||