"What Does It Mean To Say That Logic Is Formal" - читать интересную книгу автора (MacFarlane John)