Proceedings of the Second Scandinavian Logic Symposium

by J. E. Fenstad · 3 reviews · 1972–1975

Metaphysics & Logic

Also by Fenstad

• 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)
• General recursion theory. An axiomatic approach (1 review)

Search PhilReviews for this title