no. 1
Mathématique constructive
Séminaire de Philosophie et Mathématiques, no. 1 (1976), pp. 1-15. 
@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/}
}
TY  - JOUR
AU  - Apery, R.
TI  - Mathématique constructive
JO  - Séminaire de Philosophie et Mathématiques
PY  - 1976
SP  - 1
EP  - 15
IS  - 1
PB  - IREM Paris-Nord ; École Normale Supérieure
UR  - http://archive.numdam.org/item/SPHM_1976___1_A1_0/
LA  - fr
ID  - SPHM_1976___1_A1_0
ER  - 
%0 Journal Article
%A Apery, R.
%T Mathématique constructive
%J Séminaire de Philosophie et Mathématiques
%D 1976
%P 1-15
%N 1
%I IREM Paris-Nord ; École Normale Supérieure
%U http://archive.numdam.org/item/SPHM_1976___1_A1_0/
%G fr
%F SPHM_1976___1_A1_0
Apery, R. Mathématique constructive. Séminaire de Philosophie et Mathématiques, no. 1 (1976), pp. 1-15. http://archive.numdam.org/item/SPHM_1976___1_A1_0/

Azra-Jaulin Recursivité

Bishop Foundations of constructive analysis | Zbl

Boolos-Jeffrey Computability and logic | Zbl

Davis Computability and unsolvability | Zbl

Goodstein Recursive analysis | Zbl

Hermes Aftfzählbarkeit. Enstcheidbarkeit. Berechenbarkeit

Heyting Les fondements des mathématiques | Zbl

Jones Computability theory | Zbl

Kleene Introduction to metamathematics | Zbl

Kleene-Vesley The foundations of intuitionistic mathematicies | Zbl

Loeckx Computability et decidability | Zbl

Lorenzen Einführung in die operative Logik und Mathematik | Zbl

Malcev Algorithms and recursive functions | Zbl

Markov Theory of algorithms

Ouspensky Leçons sur les fonctions calculables | Zbl

Peter Recursive functions | Zbl

Poincare La science et l'hypothèse | JFM

Poincare La valeur de la science

Poincare Science et méthode | JFM

Rogers Theory of recursive functions and effective computability | Zbl

Shanin Constructive real numbers and constructi function spaces | Zbl

Weyl Das Kontinuum | JFM

Yesuhara Recursive functions and logic