"Forcing et semantique de Kripke-Joyal (Cahiers du Centre de Logique)" - читать интересную книгу автора (J.L. Moens)