"Logique & informatique (Cahiers du Centre de Logique)" - читать интересную книгу автора (Thierry Lucas, Marcel Crabbé (éditeurs))