WorldCat Identities

Kreisel, Georg

Overview
Works: 38 works in 97 publications in 7 languages and 1,175 library holdings
Genres: Conference proceedings  Archives 
Roles: Inventor, Editor
Classifications: QA9, 164
Publication Timeline
Key
Publications about  Georg Kreisel Publications about Georg Kreisel
Publications by  Georg Kreisel Publications by Georg Kreisel
Most widely held works about Georg Kreisel
 
moreShow More Titles
fewerShow Fewer Titles
Most widely held works by Georg Kreisel
Elements of mathematical logic. (Model theory) by Georg Kreisel ( Book )
30 editions published between 1957 and 2000 in 3 languages and held by 625 WorldCat member libraries worldwide
Provability, Computability and Reflection
Éléments de logique mathématique, théorie des modèles by Georg Kreisel ( Book )
14 editions published between 1966 and 1967 in French and Undetermined and held by 228 WorldCat member libraries worldwide
Modelltheorie ; eine Einführung in die mathematische Logik und Grundlagentheorie by Georg Kreisel ( Book )
7 editions published in 1972 in German and Undetermined and held by 91 WorldCat member libraries worldwide
Formally self-referential propositions for cut free classical analysis and related systems by Georg Kreisel ( Book )
6 editions published in 1974 in English and held by 63 WorldCat member libraries worldwide
Issledovanii︠a︡ po teorii dokazatel'stv : sbornik stateĭ by Georg Kreisel ( Book )
4 editions published in 1981 in Russian and held by 6 WorldCat member libraries worldwide
Novija filozofija matematike ( Book )
1 edition published in 1987 in Serbian and held by 5 WorldCat member libraries worldwide
Foundations of classical analysis ( )
in English and held by 3 WorldCat member libraries worldwide
Five notes on transfinite progressions by Georg Kreisel ( Book )
1 edition published in 1962 in English and held by 3 WorldCat member libraries worldwide
Constructivist approaches to logic by Georg Kreisel ( )
in Italian and held by 3 WorldCat member libraries worldwide
Notes concerning the elements of proof theory by Georg Kreisel ( Book )
2 editions published in 1967 in English and held by 2 WorldCat member libraries worldwide
Mathematical interpretation of formal systems by Wiskundig Genootschap (Netherlands) ( Book )
1 edition published in 1971 in English and held by 2 WorldCat member libraries worldwide
Modelltheorie : eine Einf. in d. mathemat Logik u. Grundlagentheorie by Georg Kreisel ( Book )
1 edition published in 1972 in German and held by 2 WorldCat member libraries worldwide
Francis Crick personal papers by Francis Crick ( )
in English and held by 1 WorldCat member library worldwide
Personal papers of Francis Harry Compton Crick, neuroscientist and Nobel Prize winner who co-discovered the helical structure of DNA with James D. Watson. These Papers document the personal life of a noted biochemist and provide a glimpse of his social life and relationships with family, friends, and colleagues. Largely a collection of correspondence, the papers document Crick's family, social and personal life from 1938 until his death in 2004 and include letters from friends and professional colleagues, family members, social acquaintances, and organizations. Important correspondents include George Gamow, Georg Kreisel, Michael McClure, Leslie Orgel, Linus Pauling, Max Perutz, James D. Watson, and Maurice H.F. Wilkins. The papers also contain also contain personal documents, especially certificates and awards; photographs of Crick, his family and friends; several small pocket notebooks and numerous appointment books (1946-2004); passports, writings of Crick and others; film and television projects, miscellaneous certificates and awards; and collected memorabilia including announcements and invitations, poems, portraits, newspaper clippings, receipts, wine lists, menus from events, and programs from scientific and theatrical events. Also contains condolence correspondence and materials related to Odile Crick. Addition to the Francis Crick Personal Papers materials include correspondence, clippings and tear sheets, photographs, awards, and posthumous materials -- including condolences to Odile Crick regarding Francis' death. The 2012 addition to the papers includes correspondence, writings, notes, photographs, and audiovisual materials. The second 2012 addition includes articles written about Crick including newspaper and magazine clippings, print outs of online articles, and a biography draft by Matt Ridley. Also included are photographs and posthumous materials for a memorial celebration
Reviews by G. Kreisel : from the Zentralblatt für Mathematik by Georg Kreisel ( )
1 edition published in 1978 in English and held by 1 WorldCat member library worldwide
Elements of proof theory [Off-print] by Georg Kreisel ( Book )
1 edition published in 1968 in English and held by 1 WorldCat member library worldwide
Five notes on the application of proof theory to computer science by G Kreisel ( Book )
1 edition published in 1971 in English and held by 1 WorldCat member library worldwide
Mathematical logic by Georg Kreisel ( Book )
1 edition published in 1965 in Undetermined and held by 1 WorldCat member library worldwide
Algebraic proof theory by Georg Kreisel ( Book )
1 edition published in 1969 in English and held by 1 WorldCat member library worldwide
Principles of constructive mathematics by Georg Kreisel ( Book )
1 edition published in 1959 in English and held by 1 WorldCat member library worldwide
Les mathématiques leur philosophie, pédagogique et praxis : séance du 14 mai 1975 by Georg Kreisel ( Book )
1 edition published in 1975 in French and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.75 (from 0.00 for Constructi ... to 1.00 for Novija fil ...)
Alternative Names
Krajselʹ, G. 1923-
Krajzel', G.
Kreisel, G.
Kreisel, G. 1923-
Kreisel Krivine, ... 1923-
Languages
English (52)
French (14)
German (7)
Russian (4)
Italian (1)
Serbian (1)
Dutch (1)