Mathématique constructive
Séminaire de Philosophie et Mathématiques no. 1  (1976), p. 1-15
@article{SPHM_1976___1_A1_0,
     author = {Apery, Roger},
     title = {Math\'ematique constructive},
     journal = {S\'eminaire de Philosophie et Math\'ematiques},
     publisher = {IREM Paris-Nord~; \'Ecole Normale Sup\'erieure},
     number = {1},
     year = {1976},
     pages = {1-15},
     zbl = {0419.00011},
     language = {fr},
     url = {http://www.numdam.org/item/SPHM_1976___1_A1_0}
}
Apery, R. Mathématique constructive. Séminaire de Philosophie et Mathématiques, no. 1 (1976), pp. 1-15. http://www.numdam.org/item/SPHM_1976___1_A1_0/

Azra-Jaulin Recursivité

Bishop Foundations of constructive analysis | Zbl 0183.01503

Boolos-Jeffrey Computability and logic | Zbl 0298.02003

Davis Computability and unsolvability | Zbl 0080.00902

Goodstein Recursive analysis | Zbl 0088.25002

Hermes Aftfzählbarkeit. Enstcheidbarkeit. Berechenbarkeit

Heyting Les fondements des mathématiques | Zbl 0066.01006

Jones Computability theory | Zbl 0291.02025

Kleene Introduction to metamathematics | Zbl 0109.00509

Kleene-Vesley The foundations of intuitionistic mathematicies | Zbl 0133.24601

Loeckx Computability et decidability | Zbl 0237.68009

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

Malcev Algorithms and recursive functions | Zbl 0198.02501

Markov Theory of algorithms

Ouspensky Leçons sur les fonctions calculables | Zbl 0143.25202

Peter Recursive functions | Zbl 0154.00601

Poincare La science et l'hypothèse | JFM 34.0080.12

Poincare La valeur de la science

Poincare Science et méthode | JFM 39.0095.03

Rogers Theory of recursive functions and effective computability | Zbl 0183.01401

Shanin Constructive real numbers and constructi function spaces | Zbl 0169.31101

Weyl Das Kontinuum | JFM 46.0312.01

Yesuhara Recursive functions and logic