Home Advanced Search

Advanced Search - Page 1

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: 2014
  • Author: Jean-Louis Krivine, translated by René Cori
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.)
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.)
Introduction to Axiomatic Set Theory
  • DJVU
  • English
  • Year: 1971,1973
  • Author: J.L. Krivine
The Earth: From Myths to Knowledge
  • EPUB
  • English
  • Year: 2015
  • Author: Hubert Krivine
search