DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Georg Kreisel
Georg Kreisel
“Gödel's Modernism: on Set-Theoretic Incompleteness,” Revisited
Georg Kreisel Papers SC0136
Kreisel and Wittgenstein
Georg Kreisel Correspondence with Jean Van Heijenoort
An Interview with Martin Davis
“YOU MUST REMEMBER THIS” Abraham (“Abe”) Edel
Una Fundamentaci´On De La Historia De Las Matem´Aticas
About Logic and Logicians
Sir Karl Raimund Popper Papers, 1928-1995
Association for Symbolic Logic
You Do the Math. the Newton Fellowship Program Is Looking for Mathematically Sophisticated Individuals to Teach in NYC Public High Schools
Kreisel's 'Shift of Emphasis' and Contemporary Proof Mining
11 May 2012 −− Fritz Joseph Ursell. 28 April 1923
In 1963 Established the Independence of the Axiom of Choice (AC) from ZF and the Independence of the Continuum Hypothesis (CH) from ZFC
Arxiv:0902.4682V5 [Cs.LO] 27 May 2014
Philosophie Der Logik Und Mathematik Philosophy of Logic And
Hilbert, Bourbaki and the Scorning of Logic
Kreisel's “Unwinding”
Top View
JUSTIFYING and UNWINDING PROOFS Georg KREISEL I
The Dudley Refugee Committee and the Kinder Transport, 1938–1945
About Logic and Logicians
Abstracts of Papers Presented in Washington, D.C. Abstracts of Papers Presented At
Bibliography of Georg Kreisel, F .R.S
Download Download
January 2019
Objectivity, Language, and Communication
Pictures at an Exhibition Karl Sigmund
Wednesday June 30
In Quest of Kurt Godel: Reflections I I of a Biographer 405 Editor'.S Lo~ , Amsy 2Oo Andymagzd John W Dawson J R
Letter Spring 2006
IAS Oral History Project Interview Transcript Atle Selberg