'A Formal Theorem in Church's Theory of Types'. Pp. 28-33 in: Journal of Symbolic Logic, Vol, 7, No. 1, March, 1942. With: TURING, 'The Use of Dots as Brackets in Church's System'. Pp. 146-156, Vol. 7, No. 4, December, 1942.

H. A. NEWMAN & A. M. TURING:

Date d'édition : 1942

A propos de cet article

Entire Volume 7 of The Journal of Symbolic Logic, bound in contemporary cloth. Copy of Alan Ross Anderson, (1925-1973), who taught at Yale from 1955-65 then was Professor of Philosophy at the University of Pittsburgh from 1965-73 and Chairman of the Department from 1967-70. Anderson twice served as editor of the Journal of Symbolic Logic. N° de réf. du vendeur 21084

Détails bibliographiques

Titre : 'A Formal Theorem in Church's Theory of ...

Date d'édition : 1942

Reliure : Hardcover

Etat : Near Fine

Etat de la jaquette : No Jacket

Edition : 1st Edition