"Introduction to Metalogic: With an Appendix on Type-Theoretical Extensional and Intensional Logic" - читать интересную книгу автора (Imre Ruzsa)