"Intuitionistic Logic, Model Theory and Forcing (Studies in Logic and the Foundations of Mathematics)" - читать интересную книгу автора (Melvin Fitting)