S. Awodey
发表
Steve Awodey,
Erich H. Reck,
S. Awodey,
2002
.
P. Johnstone,
S. Awodey,
2003
.
A. W. Carus,
S. Awodey,
2009
.
S. Awodey,
2000,
Mathematical Structures in Computer Science.
S. Awodey,
M. Warren,
2007,
Mathematical Proceedings of the Cambridge Philosophical Society.
Steve Awodey,
Chris Kapulkin,
Mike Shulman,
2011
.
Steve Awodey,
S. Awodey,
2006
.
Steve Awodey,
Michael A. Warren,
S. Awodey,
2004
.
S. Awodey,
2017,
1701.02024.
S. Awodey,
2009
.
S. Awodey,
1997
.
Kohei Kishida,
Steven Awodey,
S. Awodey,
2012,
Advances in Modal Logic.
Thomas Streicher,
Steven Awodey,
Alex K. Simpson,
2007,
Bulletin of Symbolic Logic.
A. W. Carus,
Steve Awodey,
S. Awodey,
2001
.
S. Awodey,
2019,
Mathesis Universalis, Computability and Proof.
S. Awodey,
2018,
Indagationes Mathematicae.
S. Awodey,
Á. Pelayo,
M. Warren,
2013
.
S. Awodey,
2007
.
S. Awodey,
2006
.
S. Awodey,
2005
.
S. Awodey,
K. Kishida,
Hans-Christoph Kotzsch,
2014,
1403.0020.
H. Forssell,
S. Awodey,
2010
.
S. Awodey,
G. Rosolini,
Jonas Frey,
2019
.
S. Awodey,
C. Butz,
1997,
Journal of Symbolic Logic.
Lars Birkedal,
L. Birkedal,
S. Awodey,
2003
.
S. Awodey,
2015,
Synthese.
Nicola Gambino,
Steve Awodey,
Kristina Sojakova,
2015,
1504.05531.
A. W. Carus,
Steve Awodey,
S. Awodey,
2001
.
Steven Awodey,
S. Awodey,
2014,
Mathematical Structures in Computer Science.
Lars Birkedal,
Steven Awodey,
Dana S. Scott,
2002,
Mathematical Structures in Computer Science.
S. Awodey,
2007,
Bulletin of Symbolic Logic.
Steven Awodey,
Spencer Breiner,
S. Awodey,
2014,
TACL.
Steve Awodey,
Erich H. Reck,
S. Awodey,
2002
.
Steve Awodey,
S. Awodey,
2014
.
Steven Awodey,
A. W. Carus,
S. Awodey,
2007,
Synthese.
Steven Awodey,
S. Awodey,
2015,
ICLA.
Florian Rabe,
Steven Awodey,
S. Awodey,
2009,
TLCA.
Steven Awodey,
S. Awodey,
2000,
Math. Struct. Comput. Sci..
R. Carnap,
G. Frege,
S. Awodey,
2004
.
Jesse Hughes,
S. Awodey,
Steven Awodey,
2000
.
Steven Awodey,
Jonas Frey,
Sam Speight,
2018,
LICS.
Steve Awodey,
Clive Newstead,
S. Awodey,
2018,
1802.00997.
S. Awodey,
2006
.
Kohei Kishida,
Steven Awodey,
S. Awodey,
2008,
The Review of Symbolic Logic.
Kohei Kishida,
S. Awodey,
Steven Awodey,
2012,
AiML 2012.
Henrik Forssell,
Steve Awodey,
Michael A. Warren,
2006
.
J. Adámek,
S. Awodey,
2022
.
Steven Awodey,
S. Awodey,
2008,
Bulletin of Symbolic Logic.
Steven Awodey,
Nicola Gambino,
Kristina Sojakova,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
Steven Awodey,
S. Awodey,
2010,
Epistemology versus Ontology.
S. Awodey,
2015,
ICLA.
Robert Harper,
Steven Awodey,
R. Harper,
2015,
SIGL.
Steven Awodey,
Peter LeFanu Lumsdaine,
Nicola Gambino,
2007,
The Journal of Symbolic Logic.