McCarthy, Timothy; Shapiro, Stewart Turing projectability. (English) Zbl 0645.03038 Notre Dame J. Formal Logic 28, 520-535 (1987). Reviewer: M.Beeson MSC: 03D10 03D20 03B48 × Cite Format Result Cite Review PDF Full Text: DOI
Cohen, Daniel E. Computability and logic. (English) Zbl 0631.03001 Mathematics and its applications. Chichester: Ellis Horwood Limited; New York etc.: Halsted Press: a division of John Wiley & Sons. 243 p.; £36.50 (1987). Reviewer: A.A.Mullin MSC: 03-01 03D20 03B10 68-01 03D60 03D10 68Q05 03D25 × Cite Format Result Cite Review PDF
Arbib, Michael A. Brains, machines, and mathematics. 2nd ed. (Brains, machines, and mathematics.) (English) Zbl 0645.68001 New York etc.: Springer-Verlag. XVI, 202 p.; DM 55.00 (1987). Reviewer: St.Bloom MSC: 68-01 92-01 03-01 92B05 68T05 68T10 68Q25 68Q05 03D60 03B10 03D10 × Cite Format Result Cite Review PDF