Title of article :
Topology via Logic: Steven Vickers, (Cambridge University Press) 0 521 36062 5 hardback, 0 521 57651 2 paperback
Author/Authors :
Marcelo P. Fiore، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 1999
Journal title :
Science of Computer Programming
Journal title :
Science of Computer Programming