Philosophical Logic Philosophical Logic
2009
Rigor and Structure Rigor and Structure
2015
Truth Truth
2011
Kripke Kripke
2013