Home Advanced Search

Advanced Search - Page 1

Mathematical Logic : A course with exercises -- Part I -- Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
  • PDF
  • English
  • Year: 2000
  • Author: Rene Cori, Daniel Lascar, Donald H. Pelletier
Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
  • PDF
  • English
  • Year: 2002
  • Author: Rene Cori, Daniel Lascar, Donald H. Pelletier
Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Gödel’s Theorems, Set Theory, Model Theory
  • DJVU
  • English
  • Year: 2001
  • Author: René Cori, Daniel Lascar, Donald Pelletier
Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
  • DJVU
  • English
  • Year: 2000
  • Author: Rene Cori, Daniel Lascar
Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
  • DJVU
  • English
  • Year: 2000
  • Author: Rene Cori, Daniel Lascar
Logique mathematique, tome 2. Fonctions recursives, theorie des modeles
  • DJVU
  • French
  • Year: 2003
  • Author: Cori R., Lascar D.
Logique mathematique, tome 1. Calcul propositionnel, algebre de Boole, calcul des predicats
  • DJVU
  • French
  • Year: 2003
  • Author: Cori R., Lascar D.
La théorie des modèles en peu de maux
  • PDF
  • French
  • Year: 2009
  • Author: Daniel Lascar
Logic colloquium 2000 (hardcover): lecture notes in logic, 19
  • DJVU
  • English
  • Year: 2005
  • Author: Cori, Rene; Razborov, Alexander; Todorcevic, Stevo; Wood, Carol (eds.)
Logic Colloquium 2000
  • DJVU
  • English
  • Year: 2005
  • Author: Rene Cori, Alexander Razborov, Stevo Todorcevic, Carol Wood (eds.)
search