# 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] (current) 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]] | ||