Philosophical Logic Philosophical Logic
2009
Truth Truth
2011
Computability and Logic Computability and Logic
2007
Holy Rus' Holy Rus'
2017
Kripke Kripke
2013
A Pastoral Rule for Today A Pastoral Rule for Today
2019