"Intensional Logic in Extensional Language" - читать интересную книгу автора (Giere Ronald)