ASCFM, Volume 35 (1967)

Issue no. 4 Table of Contents

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