Allen L. Mann, Gabriel Sandu and Merlijn Sevenster. Independence-friendly logic: A game-theoretic approach. LMS Lecture Notes, Vol. 386. Cambridge University Press, Cambridge, England, 2011, vi + 208 pp [Book Review]

Bulletin of Symbolic Logic 18 (2):272-273 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1079898600000172

Links

PhilArchive



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

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

Truth and games: Essays in honour of Gabriel Sandu. edited by Tuomo Aho and Ahti-Veikko Pietarinen, Acta Philosophica Fennica, vol. 78. Societas Philosophica Fennica, Helsinki, 2006, vi + 322 pp.T. Aho, A. V. Pietarinen & Alasdair Urquhart - 2008 - Bulletin of Symbolic Logic 14 (1):119-121.
Robert Goldblatt. Quantifiers, propositions and identity: Admissible semantics for quantified modal and substructural logics. Lecture notes in logic; 38. cambridge: Cambridge university press, 2011. Isbn 978-1-107-01052-9. Pp. XIII + 282. [REVIEW]R. Jones - 2013 - Philosophia Mathematica 21 (1):123-127.
V. F. Hendricks. Mainstream and formal epistemology. Cambridge University Press, 2006, xii + 188 pp.Paul Égré - 2007 - Bulletin of Symbolic Logic 13 (1):110-114.
Independence-friendly logic: a game-theoretic approach.Allen L. Mann - 2011 - New York: Cambridge University Press. Edited by Gabriel Sandu & Merlijn Sevenster.
G. H. v. Wright. On the idea of logical truth . Societas Scientarum Fennica, Commentationes physico-mathematicae, vol. 14 no. 4. Helsingfors1948, 20 pp. - G. H. von Wright. Form and content in logic. An inaugural lecture delivered on 26 May 1949 in the University of Cambridge. University Press, Cambridge1949, 35 pp. [REVIEW]Alonzo Church - 1950 - Journal of Symbolic Logic 15 (1):58-59.
The Evolution of Principia Mathematica; Bertrand Russell's Manuscripts and Notes for the Second Edition.Gregory Landini - 2013 - History and Philosophy of Logic 34 (1):79-97.
Independendly‐Friendly Logic: Dependence and Independence of Quantifiers in Logic.Gabriel Sandu - 2012 - Philosophy Compass 7 (10):691-711.
Paul C. Gilmore. Logicism renewed: logical foundations for mathematics and computer science. Lecture Notes in Logic, vol. 23. Association for Symbolic Logic / A K Peters, Ltd., Wellesley, Massachusetts, 2005, xvii + 230 pp.P. C. Gilmore & James H. Andrews - 2007 - Bulletin of Symbolic Logic 13 (1):104-105.
How to Lewis a Kripke–Hintikka.Alessandro Torza - 2013 - Synthese 190 (4):743-779.
Michael Rathjen. The superjump in Martin-Löf type theory_. _Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 363–386. [REVIEW]Michael Möllerfeld - 2002 - Bulletin of Symbolic Logic 8 (4):538-538.

Analytics

Added to PP
2013-10-27

Downloads
6 (#1,485,580)

6 months
1 (#1,516,603)

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