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 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
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 ’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
Logic Colloquium '87: Proceedings Granada, 1987
  • DJVU
  • English
  • Year: 1989
  • Author: H. D. Ebbinghaus, J. Fernandez-Prida, M. Garrido, D. Lascar
La théorie des modèles en peu de maux
  • PDF
  • French
  • Year: 2009
  • Author: Daniel Lascar
STACS 89: 6th Annual Symposium on Theoretical Aspects of Computer Science Paderborn, FRG, February 16–18, 1989 Proceedings
  • DJVU
  • English
  • Year: 1989
  • Author: Friedhelm Meyer auf der Heide (auth.), B. Monien, R. Cori (eds.)
Un code pour les graphes planaires et ses applications
  • DJVU
  • French
  • Year: 1975
  • Author: Robert Cori
search