Structures and Algorithms: Mathematics and the Nature of Knowledge

by J.E. Fenstad · 2 reviews · 2021–2022

Metaphysics & Logic

Also by Fenstad

• Proceedings of the Second Scandinavian Logic Symposium (3 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