![128991](/images/creator/_default.jpg)
Steve Awodey
Carnap and the invariance of logical truth
2017
Synthese 194/1
![Open Access Link](/images/OAlink.png)
From sets to types, to categories, to sets
2011
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer
![Open Access Link](/images/OAlink.png)
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