La machine de Turing
Contributeurs
(Trad. fr. de J. Basch et P. Blanchard). Ed. du Seuil. Paris, 1995. 175 p.
(Trad. fr. de J. Basch et P. Blanchard). Ed. du Seuil. Paris, 1995. 175 p.
Ed. PUF. Que saisje ? Paris. 1992.126 pages.
(Textes de Bernays, Brouwer, Gentzen,Godel, Hilbert, Kreisel, Weige) Ed. J. VRIN, Paris 1992. 566 p.
Ed. PUF. - "Que Sais-je ?" 1993. 128 p.