Geodesic

Volume 2 (1963) no. 1

Sommaire

The effective non-separability of the set of identically true
p. 5-18
The calculation of effective operators on Turing machines with
p. 19-23
On the frequency computability of functions
p. 25-32
Remark on a theorem of Hao Wang
p. 33-35
Universal equivalence of ordered Abelian groups
p. 37-39