Author: CHURCH, Alonzo et al (eds.)
Title: The Journal of Symbolic Logic, Volume 26, Number 3-4, September-December 1961
Description: Princeton, NJ, Assn. for Symbolic Logic, 1961. 1st printing. Wraps. pp. 149 - 337.Royal 8vo,,The complete issue in the original printed stiff card covers.. Top corner bumped, closed tear to front cover, chip to tail of spine; very good-.

Keywords: Computability;Number theorem;Mathematics;Semantics;Church-Turing;Lambda calculus;Alonzo Church;;


See more books from our catalog: Philosophy