Home Advanced Search

Advanced Search - Page 1

Lambda-calculus: types and models
  • PDF
  • English
  • Year: 2014
  • Author: Jean-Louis Krivine, translated by René Cori
Theorie axiomatique des ensembles
  • DJVU
  • French
  • Year: 1969
  • Author: Jean-Louis Krivine
Théorie des ensembles
  • PDF
  • French
  • Year: 1998
  • Author: Jean-Louis Krivine
Lambda-Calculus: Types and Models
  • PDF
  • English
  • Author: Jean-Louis Krivine
Théorie des ensembles
  • PDF
  • French
  • Author: Jean-Louis Krivine
Theorie des ensembles
  • PDF
  • French
  • Author: Jean-Louis Krivine
Introduction to Axiomatic Set Theory
  • PDF
  • English
  • Year: 1971
  • Author: Jean-Louis Krivine (auth.)
Lambda-calculus, types and models
  • PDF
  • English
  • Year: 2011
  • Author: Jean-Louis Krivine, Rene Corvi (translator)
Modelltheorie: Eine Einführung in die mathematische Logik und Grundlagentheorie
  • PDF
  • German
  • Year: 1972
  • Author: Dr. Georg Kreisel, Dr. Jean-Louis Krivine (auth.)
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
search