Topology via Logic (Cambridge Tracts in Theoretical Computer Science)
Edition: New Ed edition
Publisher: Cambridge University Press
Published: September 13, 1996
Language: eng
Format: Paperback
Number of pages: 216
ISBN-13: 9780521576512
Subjects: Mathematical logic; Mathematical theory of computation; Topology; Logic Design; Computer Mathematics; Computers; Computers - General Information; Computer Books: General; Reference - General; General; Computers / Logic Design; Computers / Programming / Software Development; Computers-Reference - General; Mathematics-General; Computer Science
First sentence: The origins of topology are very different from the context we shall be working in, and it is probably as well to compare some different ideas of what it is.