"Intuitionnisme et théorie de la démonstration (Cahiers du Centre de Logique)" - читать интересную книгу автора (Marcel Crabbé, Thierry Lucas (éditeurs))