"Intuitionistic logic model theory and forcing" - читать интересную книгу автора (Melvin Fitting)