General recursion theory. An axiomatic approach

by Jens E. Fenstad · 1 review · 1982

Reviewed by	Journal	Date	Access
Douglas Cenzer	The Journal of Symbolic Logic	1982	Restricted

Metaphysics & Logic

Also by Fenstad

Proceedings of the Second Scandinavian Logic Symposium (3 reviews)
Structures and Algorithms: Mathematics and the Nature of Knowledge (2 reviews)
A. S. Troelstra. Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types. Proceedings of the Second Scandinavian Logic Symposium (1 review)

Search PhilReviews for this title