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

by S J Vickers
Venue:8 Aylesbury Road, Tring, Hertfordshire, HP23 4DJ, United Kingdom E-mail : christopher.townsend@rbccm.com (Received