Sentences Undecidable In Formalized Arithmetic: An Exposition of the Theory of Kurt Godel Andrzej Mostowski

By: Mostowski, AndrzejMaterial type: TextTextLanguage: ENG Series: Studies In Logic And the Foundations of Mathematics ; Publication details: Amsterdam North-Holland Publishing Company 1952Edition: Description: 117pSubject(s): MathematicsDDC classification: 510
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)

Powered by Koha