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