"A logical journey: from Goedel to philosophy" - читать интересную книгу автора (Hao Wang)