Topology via Logic: Steven Vickers, (Cambridge University Press) 0 521 36062 5 hardback, 0 521 57651 2 paperback

Saved in:
Bibliographic Details
Published inScience of Computer Programming Vol. 33; no. 1; pp. 97 - 99
Main Author Fiore, Marcelo P
Format Book Review
LanguageEnglish
Published Elsevier B.V 1999
Online AccessGet full text

Cover

More Information
ISSN:0167-6423
1872-7964
DOI:10.1016/S0167-6423(98)00020-3