Topology via Logic, Cambridge Tracts in Theoretical Computer Science 5 (1989)

by S Vickers
Venue:Department of Mathematics, The University of Padua Via Trieste