Solomon Feferman
(2010-2019)
XTarski's influence on computer science
2018
in: The Lvov-Warsaw school, Dordrecht : Springer
2012
Synthese 186/1
Enriched stratified systems for the foundations of category theory
2011
in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer
Logic and methodology, center stage
2010
Philosophia Scientiae 14/1
