Annales scientifiques de l'Université de Clermont. Mathématiques, Tome 35 (1967)

Sommaire du Fascicule no. 4

General recursive functionals of finite type and hierarchies of functions

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

p. 33-36

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

p. 37-40