Search results for: Steve Awodey
Zagadnienia Filozoficzne w Nauce > 2020 > 69 > 253-280
The Western Ontario Series in Philosophy of Science > Foundational Theories of Classical and Constructive Mathematics > Foundations of Classical Mathematics > 113-125
Annals of Pure and Applied Logic > 2014 > 165 > 2 > 428-502
Annals of Pure and Applied Logic > 2013 > 164 > 10 > 928-956
Annals of Pure and Applied Logic > 2013 > 164 > 3 > 319-348