"Shadows of the Truth: Metamathematics of Elementary Mathematics" - читать интересную книгу автора (Alexandre Borovik)