R. O. Gandy. Computable functionals of finite type I. Sets, models and recursion theory. Proceedings of the Summer School In Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September

Name: R. O. Gandy. Computable functionals of finite type I. Sets, models and recursion theory. Proceedings of the Summer School In Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September
Author: John N. Crossley

by John N. Crossley · 2 reviews · 1970

Reviewed by	Journal	Date	Access
Richard A. Platek	The Journal of Symbolic Logic	1970	Restricted
Richard A. Platek	The Journal of Symbolic Logic	1970	Restricted

Metaphysics & Logic

Also by Crossley

What Is Mathematical Logic? (2 reviews)
Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia (1 review)
C. J. Ash, C. J. Brickhill, J. C. Still Well, and N. H. Williams (1 review)
Contesting Psychiatry: Social Movements in Mental Health (1 review)
Perspectives on the Logic and Metaphysics of F.H. Bradley (1 review)
Social Networks and Social Movements: Contentious Connections (1 review)
What Is Mathematical Logic? John N. Crossley (1 review)

Search PhilReviews for this title