Repository | Directory | Profile

References
Steve Awodey
Carnap and the invariance of logical truth
2017
Synthese 194/1

From sets to types, to categories, to sets
2011
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer
