| 
Austrian Scientist Introduction: Herman Francis Mark, Richard Kuhn, Edwin Ernest Salpeter, Fritz Pregl, Felix Philipp Kanitz, Georg Kreisel 
Elements of mathematical logic: (Model theory) (Studies in logic and the foundations of mathematics) by Georg Kreisel,  1967
Modelltheorie: Eine Einführung in die mathematische Logik und Grundlagentheorie (Hochschultext) (German Edition) by Georg Kreisel, Jean-Louis Krivine,  1972-06-14
Kreiseliana: About and Around Georg Kreisel 
Formally self-referential propositions for cut free classical analysis and related systems (Dissertationes mathematicae = Rozprawy matematyczne) by Georg Kreisel,  1974
Five notes on transfinite progressions (Technical report) by Georg Kreisel,  1962
Formal Systems for Some Branches of Intuitionistic Analysis (Annals of Mathematical Logic) by Georg Kreisel, Anne Sjerp Troelstra,  1970
Descendants of Johann Georg Leonhardt Kreissel and Katherine Fredrike Fischer by Lee Riley Powell,  1997
Zur Theorie Des Maxwell'schen Kreisels (INAUGURAL-DISSERTATION ZUR ERLANGUNG DER DOKTORWURDE DER HOHEN PHILOSOPHISCHEN FAKULTAT DER GEORG-AUGUST-UNIVERSITAT ZU GOTTINGEN; --- GERMAN LANGUAGE, GERMANY) by MAX WINKELMANN,  1904 |