Author: CHURCH, Alonzo et al (eds.)
Title: The Journal of Symbolic Logic, Volume 27, Number 1, March 1962
Description: Princeton, NJ, Assn. for Symbolic Logic, 1962. 1st printing. Wraps. pp. 127.Royal 8vo,,The complete issue in the original printed stiff card covers.. Closed tear to front cover along spine, large chip to tail of spine, light water stain to front cover; very good-.

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


See more books from our catalog: Philosophy