"Short Introduction to Intuitionistic Logic" - читать интересную книгу автора (Grigori Mints)