Home Advanced Search

Advanced Search - Page 1

Lambda-calculus, types and models
  • PDF
  • English
  • Year: 2011
  • Author: Jean-Louis Krivine, Rene Corvi (translator)
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: 2014
  • Author: Jean-Louis Krivine, translated by René Cori
Modelltheorie: Eine Einführung in die mathematische Logik und Grundlagentheorie
  • PDF
  • German
  • Year: 1972
  • Author: Dr. Georg Kreisel, Dr. Jean-Louis Krivine (auth.)
Vikinger og Indianere
  • PDF
  • Norwegian Bokmål
  • Year: 1994
  • Author: Louis-Rene Nougier
search