Home Advanced Search

Advanced Search - Page 1

Elements of Mathematical Logic (Model Theory)
  • PDF
  • English
  • Year: 1967
  • Author: G. Kreisel and J.L. Krivine (Eds.)
Elements of mathematical logic (model theory)
  • DJVU
  • English
  • Year: 1967
  • Author: G Kreisel, J L Krivine
Introduction to Axiomatic Set Theory
  • DJVU
  • English
  • Year: 1971,1973
  • Author: J.L. Krivine
Modelltheorie: Eine Einführung in die mathematische Logik und Grundlagentheorie
  • PDF
  • German
  • Year: 1972
  • Author: Dr. Georg Kreisel, Dr. Jean-Louis Krivine (auth.)
Essays on Mathematical and Philosophical Logic: Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29–July 6, 1976
  • PDF
  • English
  • Year: 1978
  • Author: G. Kreisel (auth.), Jaakko Hintikka, Ilkka Niiniluoto, Esa Saarinen (eds.)
Исследования по теории доказательств. Сборник статей
  • DJVU
  • Russian
  • Year: 1981
  • Author: Крайзель Г. (Kreisel G.)
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.)
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.
Childhood, Youth and Migration: Connecting Global and Local Perspectives
  • PDF
  • English
  • Year: 2016
  • Author: Christine Hunner-Kreisel, Sabine Bohne (eds.)
search