Home Advanced Search

Advanced Search - Page 1

Elements of mathematical logic (model theory)
  • DJVU
  • English
  • Year: 1967
  • Author: G Kreisel, J L Krivine
Elements of Mathematical Logic: Model Theory (Stud. in Logic & Maths.)
  • PDF
  • English
  • Year: 1967
  • Author: G Kreisel, J L Krivine
Elements of Mathematical Logic (Model Theory)
  • PDF
  • English
  • Year: 1967
  • Author: G. Kreisel and J.L. Krivine (Eds.)
Theorie axiomatique des ensembles
  • DJVU
  • French
  • Year: 1969
  • Author: Krivine J.-L.
Mathematical Interpretation of Formal Systems
  • PDF
  • English
  • Year: 1955
  • Author: Th. Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, Hao Wang, L. Henkin and J. ЕЃoЕ› (Eds.)
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.
search