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