Topology via logic

Author(s)

• Vickers, Steven

Bibliographic Information

Topology via logic

Steven Vickers

（Cambridge tracts in theoretical computer science, 5）

Cambridge University Press, 1989

• pbk.

Note

Bibliography: p. [191]-195

Includes index

Details

• NCID: BA06941628
• ISBN:
  • 0521360625
  • 0521576512
• LCCN: 89000541
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge [England] ; New York
• Pages/Volumes: 200 p.
• Size: 26 cm
• Classification:
  • LCC : QA611
  • DC19 : 514
• Subject Headings:
  • LCSH : Topology
• Parent Bibliography ID:
  • BA01121831