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
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
Terrorism and Global Security: The Nuclear Threat
  • EPUB
  • English
  • Year: 1979
  • Author: Louis Rene Beres
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