Games, logic, and constructive sets [Book Review]

Bulletin of Symbolic Logic 11 (3):439-441 (2005)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1079898600003164

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,069

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

REVIEWS-Games, logic, and constructive sets.Ian Hodkinson - 2005 - Bulletin of Symbolic Logic 11 (3):439-441.
G. Mints and R. Muskens (editors), Games, logic, and constructive sets.Ian Hodkinson - 2005 - Bulletin of Symbolic Logic 11 (3):439-442.
Games, Logic, and Constructive Sets.Grigori Mints & Reinhard Muskens (eds.) - 2003 - Center for the Study of Language and Inf.
Games, logic, and constructive sets, edited by Mints G. and Muskens R., CSLI Lecture Notes, vol. 161. CSLI Publications, Stanford, CA, 2003, xii+ 128 pp. [REVIEW]Ian Hodkinson - 2005 - Bulletin of Symbolic Logic 11 (3):439-442.
Robin Hirsch and Ian Hodkinson. Relation algebras by games. Elsevier, Amsterdam, 2002, xviii + 691 pp. [REVIEW]Roger D. Maddux - 2003 - Bulletin of Symbolic Logic 9 (4):515-520.
Review: Relation algebras by games Robin Hirsch, Ian Hodkinson: Relation algebras by games. [REVIEW]Roger Maddux - 2003 - Logic Journal of the IGPL 11 (5):577-581.
Games of countable length. Sets and Proofs. [REVIEW]Paul B. Larson - 2005 - Bulletin of Symbolic Logic 11 (4):542-544.
From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics.Peter Schuster - 2006 - Bulletin of Symbolic Logic 12 (4):611-612.
From sets and types to topology and analysis—towards practicable foundations for constructive mathematics. [REVIEW]Jaap van Oosten - 2006 - Bulletin of Symbolic Logic 12 (4):611-612.
From sets and types to topology and analysis—towards practicable foundations for constructive mathematics, edited by Laura Crosilla and Peter Schuster, Oxford Logic Guides, vol. 48. Clarendon Press, 2005, xix + 450 pp.Jaap van Oosten - 2006 - Bulletin of Symbolic Logic 12 (4):611-612.

Analytics

Added to PP
2015-02-02

Downloads
3 (#1,728,901)

6 months
2 (#1,259,626)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references