Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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]]
  
 
sav08/mathematical_logic_and_type_theory.txt · Last modified: 2008/04/06 16:26 by vkuncak
 
© EPFL 2018 - Legal notice