Computable Set Theory (1989)

by D Cantone, A Ferro, E G Omodeo
Venue:Oxford Science Publications of International Series of Monographs in Computer Science