Journal of Symbolic Logic

Cited publications in Journal of Symbolic Logic:

• Computability and λ-definability (1937)