On undecidable propositions of formal mathematical systems.

Saved in:

Bibliographic Details
Author / Creator:	Gödel, Kurt
Imprint:	Princeton, N.J. [1934]
Description:	30 p. 28 cm.
Language:	English
Subject:	Logic, Symbolic and mathematical Mathematics -- Philosophy Decidability (Mathematical logic) Gödel's theorem. Mathematics -- Philosophy. Recursive functions.
Format:	Microform Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/4130096

Hidden Bibliographic Details
Notes:	Mimeographed. Microfilm. Negative.

Regenstein, B Level, Science Microforms

Holdings details from Regenstein, B Level, Science Microforms
Call Number:	microfm QA12
c.1	Available Loan period: standard loan Need help? - Ask a Librarian