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