Topology via logic /
Vickers, Steven.
Topology via logic / by Steven Vickers. - Cambridge, N.Y. : Cambridge University Press, 1996. - 200 p. - Cambridge Tracts in Theoretical Computer Science Ser. ; No. 5. .
Includes bibliographical references and index. Contents : Affirmative and refutative assertions--Frames.
0521576512
Topology.
Logic, Symbolic and mathematical.
Topology via logic / by Steven Vickers. - Cambridge, N.Y. : Cambridge University Press, 1996. - 200 p. - Cambridge Tracts in Theoretical Computer Science Ser. ; No. 5. .
Includes bibliographical references and index. Contents : Affirmative and refutative assertions--Frames.
0521576512
Topology.
Logic, Symbolic and mathematical.