The Use of Dots as Brackets in Church s System

Alan M. Turing. The Use of Dots as Brackets in Church s System. Journal of Symbolic Logic, 7(4):146-156, 1942.

Abstract

Abstract is missing.