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
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
Neutron and X-ray Spectroscopy
  • PDF
  • English
  • Year: 2005
  • Author: Françoise Hippert, Erik Geissler, Jean Louis Hodeau, Eddy Lelièvre-Berna, Jean-René Regnard
Second Generation Expert Systems
  • PDF
  • English
  • Year: 1993
  • Author: Jean-Marc David, Jean-Paul Krivine, Reid Simmons (auth.), Jean-Marc David, Jean-Paul Krivine, Reid Simmons (eds.)
search