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 II: Recursion Theory, Gödel’s Theorems, Set Theory, Model Theory
  • DJVU
  • English
  • Year: 2001
  • Author: René Cori, Daniel Lascar, Donald Pelletier
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.)
Logic Colloquium’ 96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996
  • PDF
  • English
  • Year: 1998
  • Author: Jesús M. Larrazabal, Daniel Lascar, Grigori Mints (eds.)
Mathematics for the analysis of algorithms
  • PDF
  • English
  • Year: 1982
  • Author: Daniel H Greene; Donald Ervin Knuth
Meditations on first philosophy
  • PDF
  • English
  • Year: 1993
  • Author: Cress, Donald A.;Descartes, Rene
search