@article{SPHM_1976___1_A1_0, author = {Apery, R.}, title = {Math\'ematique constructive}, journal = {S\'eminaire de Philosophie et Math\'ematiques}, pages = {1--15}, publisher = {IREM Paris-Nord~; \'Ecole Normale Sup\'erieure}, number = {1}, year = {1976}, language = {fr}, url = {http://archive.numdam.org/item/SPHM_1976___1_A1_0/} }
Apery, R. Mathématique constructive. Séminaire de Philosophie et Mathématiques, Mathématique constructive, no. 1 (1976), pp. 1-15. http://archive.numdam.org/item/SPHM_1976___1_A1_0/
Recursivité
-Foundations of constructive analysis | Zbl
Computability and logic | Zbl
-Computability and unsolvability | Zbl
Recursive analysis | Zbl
Aftfzählbarkeit. Enstcheidbarkeit. Berechenbarkeit
Les fondements des mathématiques | Zbl
Computability theory | Zbl
Introduction to metamathematics | Zbl
The foundations of intuitionistic mathematicies | Zbl
-Computability et decidability | Zbl
Einführung in die operative Logik und Mathematik | Zbl
Algorithms and recursive functions | Zbl
Theory of algorithms
Leçons sur les fonctions calculables | Zbl
Recursive functions | Zbl
La science et l'hypothèse | JFM
La valeur de la science
Science et méthode | JFM
Theory of recursive functions and effective computability | Zbl
Constructive real numbers and constructi function spaces | Zbl
Das Kontinuum | JFM
Recursive functions and logic