"Sentences Undecidable in Formalized Arithmetic (NH Publishing Company, 1952)(ISBN 0720422205)(120s).pdf-new" - читать интересную книгу автора (Andrzej Mostowski)