Realizability: an introduction to its categorical side. Studies in Logic and the Foundations of Mathematics, vol. 152

by Jaap Van Oosten · 1 review · 2010

Reviewed by Journal Date Access
Peter T. Johnstone The Bulletin of Symbolic Logic 2010-09-00 Restricted

Metaphysics & Logic

Search PhilReviews for this title