Geodesic

Volume 6 (1967) no. 6

Sommaire

On models of the calculus $E$
p. 5-20
On independent recursive axiomatisation in intuitionistic logic
p. 21-27
The finitary approximability of the finite extension of a
p. 29-31
The algebra of partially recursive functions
p. 33-48