Home Advanced Search

Advanced Search - Page 1

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.
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
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
  • 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
Logic Colloquium 96: Proceedings of the Colloquium Held in San Sebastian, Spain, July 9-15, 1996
  • PDF
  • English
  • Year: 1999
  • Author: Jesus M. Larrazabal, D. Lascar, G. Mints
Logic Colloquium '80Papers intended for the European Summer Meeting of the Association for Symbolic Logic
  • PDF
  • English
  • Year: 1982
  • Author: D. Van Dalen, D. Lascar and T.J. Smiley (Eds.)
Logic Colloquium ’87: Proceedings of the Colloquium Held in Granada, Spain July 20-25, 1987
  • PDF
  • English
  • Year: 1989
  • Author: H. D. Ebbinghaus, J. Fernandez-Prida, M. Garrido, D. Lascar
search