A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths.

Fairouz Kamareddine Twan Laan A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths. 195-213 1996 4 Logic Journal of the IGPL 2 http://dx.doi.org/10.1093/jigpal/4.2.195 db/journals/igpl/igpl4.html#KamareddineL96