Geometry.Net - the online learning center
Home  - Scientists - Kreisel Georg
e99.com Bookstore
  
Images 
Newsgroups
Page 3     41-42 of 42    Back | 1  | 2  | 3 
A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

         Kreisel Georg:     more detail
  1. Austrian Scientist Introduction: Herman Francis Mark, Richard Kuhn, Edwin Ernest Salpeter, Fritz Pregl, Felix Philipp Kanitz, Georg Kreisel
  2. Elements of mathematical logic: (Model theory) (Studies in logic and the foundations of mathematics) by Georg Kreisel, 1967
  3. Modelltheorie: Eine Einführung in die mathematische Logik und Grundlagentheorie (Hochschultext) (German Edition) by Georg Kreisel, Jean-Louis Krivine, 1972-06-14
  4. Kreiseliana: About and Around Georg Kreisel
  5. Formally self-referential propositions for cut free classical analysis and related systems (Dissertationes mathematicae = Rozprawy matematyczne) by Georg Kreisel, 1974
  6. Five notes on transfinite progressions (Technical report) by Georg Kreisel, 1962
  7. Formal Systems for Some Branches of Intuitionistic Analysis (Annals of Mathematical Logic) by Georg Kreisel, Anne Sjerp Troelstra, 1970
  8. Descendants of Johann Georg Leonhardt Kreissel and Katherine Fredrike Fischer by Lee Riley Powell, 1997
  9. 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

41. Kurt G Del Papers, 1905-1980 (bulk
Kreisel, Georg, “Kurt G del, 19061978, elected For. Mem. R.S. 1968,” Biographical Memoirs of Fellows of the Royal Society, 26 (1980), 148-224; corrigenda
http://arks.princeton.edu/ark:/88435/v979v310g

42. Reports On Mathematical Logic
KREISEL, GEORG 1. Monadic Operators Defined by Means of Propositional Quantification in Intuitionistic Logic. 12, 1981, 915
http://www.iphils.uj.edu.pl/rml/auth-ind.htm

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

Page 3     41-42 of 42    Back | 1  | 2  | 3 

free hit counter