Steven Vickers. Topology via logic. Cambridge tracts in theoretical computer science, no. 5. Cambridge University Press, Cambridge etc. 1989, xiii + 200 pp

P. T. Johnstone

doi:10.2307/2275086

Steven Vickers. Topology via logic. Cambridge tracts in theoretical computer science, no. 5. Cambridge University Press, Cambridge etc. 1989, xiii + 200 pp [Book Review]

Journal of Symbolic Logic 56 (3):1101-1102 (1991)

Abstract	This article has no associated abstract. (fix it)
Keywords	No keywords specified (fix it)
Categories	Logic and Philosophy of Logic (categorize this paper)
DOI	10.2307/2275086
Options	Edit this record Mark as duplicate Export citation Find it on Scholar Request removal from index Revision history

Download options

PhilArchive copy

Upload a copy of this paper Check publisher's policy Papers currently archived: 71,464

External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)

Through your library

Sign in / register and customize your OpenURL resolver..
Configure custom resolver

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

J.-J. Ch. Meyer and W. Van Der Hoek. Epistemic Logic for AI and Computer Science. Cambridge Tracts in Theoretical Computer Science, No. 41. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995, Xiii + 354 Pp. [REVIEW]Rineke Verbrugoe - 1999 - Journal of Symbolic Logic 64 (4):1837-1840.

Brewka Gerhard. Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge Tracts in Theoretical Computer Science, No. 12. Cambridge University Press, Cambridge Etc. 1991, Xiii + 168 Pp. [REVIEW]Heinrich Herre - 1993 - Journal of Symbolic Logic 58 (3):1079-1080.

Jean-Yves Girard, Paul Taylor, and Yves LaFont. Proofs and Types. Cambridge Tracts in Theoretical Computer Science, No. 7. Cambridge University Press, Cambridge Etc. 1989, Xi + 176 Pp. [REVIEW]W. A. Howard - 1991 - Journal of Symbolic Logic 56 (2):760-761.

Marianne Winslett. Updating Logical Databases, Cambridge Tracts in Theoretical Computer Science, No. 9. Cambridge University Press, Cambridge Etc. 1990, Ix + 211 Pp. [REVIEW]Urs-Martin Künzi - 1994 - Journal of Symbolic Logic 59 (3):1110-1111.

Manzano María. Extensions of First Order Logic. Cambridge Tracts in Theoretical Computer Science, No. 19. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, Xxii + 388 Pp. [REVIEW]Yde Venema - 1998 - Journal of Symbolic Logic 63 (3):1194-1196.

A. S. Troelstra and H. Schwichtenberg. Basic Proof Theory. Cambridge Tracts in Theoretical Computer Science, No. 43. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, Xi + 343 Pp. [REVIEW]Roy Dyckhoff - 1998 - Journal of Symbolic Logic 63 (4):1605-1606.

Stéphane Demri, Valentin Goranko, and Martin Lange, Temporal Logics in Computer Science: Finite-State Systems, Cambridge Tracts in Theoretical Computer Science, Vol. 58, Cambridge University Press, Cambridge, 2016, Viii + 744 Pp. [REVIEW]Kamal Lodaya - 2017 - Bulletin of Symbolic Logic 23 (2):203-204.

Ramsay Allan. Formal Methods in Artificial Intelligence. Cambridge Tracts in Theoretical Computer Science, No. 6. Cambridge University Press, Cambridge Etc. 1988, Ix + 279 Pp. [REVIEW]Francis Jeffry Pelletier - 1996 - Journal of Symbolic Logic 61 (1):347-351.

Patrick Blackburn, Maarten De Rijke, and Yde Venema. Modal Logic. Cambridge Tracts in Theoretical Computer Science, No. 53. Cambridge University Press, Cambridge, New York, Etc., 2001, Xxii + 554 Pp. [REVIEW]Marcus Kracht - 2002 - Bulletin of Symbolic Logic 8 (2):299-301.

A. S. Troelstra and H. Schwichtenberg. Basic Proof Theory. Second Edition of Jsl Lxiii 1605. Cambridge Tracts in Theoretical Computer Science, No. 43. Cambridge University Press, Cambridge, New York, Etc., 2000, XII + 417 Pp. [REVIEW]Roy Dyckhoff - 2001 - Bulletin of Symbolic Logic 7 (2):280-280.

Jon Barwise and Jerry Seligman. Information Flow. The Logic of Distributed Systems. Cambridge Tracts in Theoretical Computer Science, No. 44. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, Xv + 274 Pp. [REVIEW]Maarten De Rijke - 1999 - Journal of Symbolic Logic 64 (4):1836-1836.

Simmons Harold. Derivation and Computation. Taking the Curry-Howard Correspondence Seriously. Cambridge Tracts in Theoretical Computer Science, Vol. 51. Cambridge University Press, Cambridge, New York, Etc., 2000, Xxv + 384 Pp. [REVIEW]Norman Danner - 2001 - Bulletin of Symbolic Logic 7 (3):380-383.

Hindley J. Roger. Basic Simple Type Theory. Cambridge Tracts in Theoretical Computer Science, No. 42. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, Xi + 186 Pp. [REVIEW]Anton Setzer - 1999 - Journal of Symbolic Logic 64 (4):1832-1833.

Essay Review.Howard H. Harriott - 1996 - History and Philosophy of Logic 17 (1-2):223-240.

Davide Sangiorgi. Introduction to Bisimulation and Coinduction. Cambridge University Press, 2012, 247 Pp. - Advanced Topics in Bisimulation and Coinduction, Edited by Davide Sangiorgi and Jan Rutten, Cambridge Tracts in Theoretical Computer Science, Vol. 52. Cambridge University Press, 2012, 326 Pp. [REVIEW]Julian Gutierrez - 2013 - Bulletin of Symbolic Logic 19 (1):108-110.

Analytics

Added to PP index
2019-05-18

Total views
29 ( #397,013 of 2,520,426 )

Recent downloads (6 months)
6 ( #116,935 of 2,520,426 )

How can I increase my downloads?

Downloads