A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths (1996)

by Fairouz Kamareddine, Twan Laan
Venue:Journal of the Interest Group in Pure and Applied Logic 4(2