The Interpretability Logic of all Reasonable Arithmetical Theories Joost J. JoostenAlbert Visser OriginalPaper Pages: 3 - 26
A Negationless Interpretation Of Intuitionistic Theories Victor N. Krivtsov OriginalPaper Pages: 155 - 172
An Analysis Of Quine's ``Ontological Reduction And The World Of Numbers'' St. Iwan OriginalPaper Pages: 195 - 218
Neo-Logicism? An Ontological Reduction of Mathematics to Metaphysics Edward N. Zalta OriginalPaper Pages: 219 - 265