On undecidable propositions of formal mathematics systems / notes on lectures by Kurt Gödel, February-May 1934.

Bibliographic Details
Main Author: Gödel, Kurt
Corporate Author: Institute for Advanced Study (Princeton, N.J.)
Language:English
Published: Princeton, N.J. : Institute for Advanced Study, [1934]
Subjects:
Recursive functions.
Mathematics > Philosophy.
Physical Description:30 leaves ; 28 cm
Format: Book

Similar Items