Annales de la faculté des sciences de l'université de Clermont. Mathématiques, Tome 35 (1967) no. 4

Sommaire

General recursive functionals of finite type and hierarchies of functions

Gandy, R. O.

p. 5-24

The rule of induction in the three variable arithmetic based on

+

-

Shepherdson, J. C.

p. 25-31

Algébrisation du calcul proportionnel au moyen d'anneaux booléiens universels

Ponasse, D.

p. 33-36

Sur quelques notions concernant les anneaux hilbertiens de la logique algébrique

Guillaume, M.

p. 37-40