Geodesic

Volume 3 (1964) no. 3

Sommaire

Decidability of certain elementary theories
p. 5-12
On the realization of a relation in a topological group
p. 13-15
Decidability of the elementary theory of relatively complemented
p. 17-38
Some properties of algebras of recursive functions
p. 39-57
On an axiom system for a calculus of strict implication
p. 59-68