A re on Russell's rami 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