A reflection on Russell's ramified types and Kripke's hierarchy of truths (1996)

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