Geodesic

Volume 35 (1967) no. 4

Sommaire

General recursive functionals of finite type and hierarchies of functions
p. 5-24
The rule of induction in the three variable arithmetic based on + and -
p. 25-31
Algébrisation du calcul proportionnel au moyen d'anneaux booléiens universels
p. 33-36
Sur quelques notions concernant les anneaux hilbertiens de la logique algébrique
p. 37-40