1 - A method in proofs of undefinability with applications to functions in the aritmetic of natural numbers |
2 - Essays on the foundations of mathematics dedicated to A. A. Fraenkel on his Seventieth Anniversary |
3 - Introduction à la logique - 2ème édition revue et augmentée |
4 - Introduction to logic and to the methodology of deductive sciences |
5 - Le nombre langage de la science |
6 - Machines de Turing et automates cellulaires : du traité gravé au très animé |
8 - Mathematical thought : an introduction to the philosophy of mathematics |
9 - Naive set theory |
10 - Recursion theory |