'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:

Publication Date: 1942

About this Item

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.

Seller Inventory # 21084

Bibliographic Details

• Title: '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.
• Publication Date: 1942
• Binding: Hardcover
• Edition: 1st Edition
• Condition: Near Fine
• Dust Jacket Condition: No Jacket