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