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
Citations:1 - 1 self