Kurt Gödel. Über die Länge von Beweisen (1936a). A reprint of I 116. Reelle Funktionen, by Kurt Gödel

Name: Kurt Gödel. Über die Länge von Beweisen (1936a). A reprint of I 116. Reelle Funktionen, by Kurt Gödel
Author: Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort

by Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort · 1 review · 1990

Reviewed by	Journal	Date	Access
Martin Davis	The Journal of Symbolic Logic	1990	Restricted

Metaphysics & Logic

Also by Heijenoort

Introductory note (2 reviews)
An Introduction to Deductive Logic (1 review)
Collected Works of Kurt Godel 1938-1974 (1 review)
From Frege to Gödel. A Source Book in Mathematical Logic 1879-1931 (1 review)
John W. Dawson Jr. A Gödel chronology. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel (1 review)
Kurt Gödel. Eine Eigenschaft der Realisierungen des Aussagenkalküls (1932c). A reprint of 4189. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel (1 review)
Kurt Gödel. Eine Interpretation des intuitionistischen Aussagenkalküls (1933f). A reprint of 41812. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel (1 review)
Kurt Gödel. Einige metamathematische Resultate über Entscheidunasdefinitheit und Widerspruchsfreiheit (1930b). A reprint of 4181. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel (1 review)

Search PhilReviews for this title