Computable set theory (1989)

by Domenico Cantone, Alfredo Ferro, Eugenio Omodeo
Venue:of Int’l Series of Monographs on Computer Science. Oxford Science