
1 - A method in proofs of undefinability with applications to functions in the aritmetic of natural numbers |
2 - Etudes cartésiennes. IIème partie |
3 - Fondements des mathématiques. 1 |
4 - Fondements des mathématiques. 2 |
5 - Foundations of mathematics : A study in the philosophy of science |
6 - Foundations of mathematics : A study in the philosophy of science - Second revised edition |
7 - Grundlagen der Mathematik. Ester Band |
8 - Grundlagen der Mathematik. Zweiter Band |
9 - Handbook of paraconsistency |
10 - L'objectivité mathématique : platonismes et structures formelles |