Home Advanced Search

Advanced Search - Page 1

Elements of mathematical logic (model theory)
  • DJVU
  • English
  • Year: 1967
  • Author: G Kreisel, J L Krivine
Theorie axiomatique des ensembles
  • DJVU
  • French
  • Year: 1969
  • Author: Krivine J.-L.
Modelltheorie: Eine Einführung in die mathematische Logik und Grundlagentheorie
  • PDF
  • German
  • Year: 1972
  • Author: Dr. Georg Kreisel, Dr. Jean-Louis Krivine (auth.)
Исследования по теории доказательств. Сборник статей
  • DJVU
  • Russian
  • Year: 1981
  • Author: Крайзель Г. (Kreisel G.)
Wittgenstein's Theory and Practice of Philosophy
  • PDF
  • English
  • Author: Kreisel
1-Consistency and faithful interpretations
  • PDF
  • English
  • Year: 1960
  • Author: Feferman S., Kreisel G., Orey S.
Mathematical interpretation of formal systems
  • DJVU
  • English
  • Year: 1971
  • Author: Skolem T., Hasenjaeger G., Kreisel G., Robinson A., et al.
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
The Earth: From Myths to Knowledge
  • EPUB
  • English
  • Year: 2015
  • Author: Hubert Krivine
search