Carnap and the invariance of logical truth

2017

Steve Awodey

Synthese 194 (1)

Type theory and homotopy

2012

Steve Awodey

in: Epistemology versus ontology, Berlin,

From sets to types, to categories, to sets

2011

Steve Awodey

in: Foundational theories of classical and constructive mathematics, Berlin,

Carnap's dream

Gödel, Wittgenstein, and logical, syntax

2007

Steve Awodey, A. W. Carus

Synthese 159 (1)