Set Theory and Nominalisation (1992)

by F Kamareddine
Venue:Part I, Logic and Computation