Home Advanced Search

Advanced Search - Page 1

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
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
Lambda-calculus: types and models
  • PDF
  • English
  • Year: 2014
  • Author: Jean-Louis Krivine, translated by René Cori
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.)
Rene Levesque
  • EPUB
  • English
  • Year: 2010
  • Author: Lévesque, René;Poliquin, Daniel
Un code pour les graphes planaires et ses applications
  • DJVU
  • French
  • Year: 1975
  • Author: Robert Cori
Beyond the Matrix: Daring Conversations with the Brilliant Minds of Our Time
  • EPUB
  • English
  • Year: 2010
  • Author: Patricia Cori
search