Ewa Orlowska and Joanna Golinska-Pilarek, Dual Tableaux: Foundations, Methodology, Case Studies, Springer, Series: Trends in Logic, Vol. 33, 2011, pp. xvi+523, 113 illus. ISBN: 978-94-007-0004-8 EURO 181,85, 978-94-007-0005-5 EURO 159,99 [Book Review]

Studia Logica 101 (1):229-232 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/s11225-013-9467-6

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

Torben Braüner, Hybrid Logic and its Proof-Theory, Applied Logic Series Volume 37, Springer, 2011, pp. XIII+231. ISBN: 978-94-007-0001-7 (hardcover) EURO 99,95, ISBN: 978-94-007-0002-4 (eBook) EURO 99,99. [REVIEW]Melvin Fitting - 2012 - Studia Logica 100 (5):1051-1053.
Joanna Golińska-Pilarek and Michał Zawidzki, (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Springer International Publishing, Series: Outstanding Contributions to Logic, Vol. 17, 2018, pp. 502: ISBN 978-3-319-97878-9 (Hardcover) EURO 135,19, ISBN 978-3-319-97879-6 (eBook) EURO 106,99. [REVIEW]Ingrid Rewitzky - 2020 - Studia Logica 109 (2):443-445.
Feng Ye. Strict Finitism and the Logic of Mathematical Applications. Synthese Library; 355. Springer, 2011. ISBN: 978-94-007-1346-8 ; 978-94-007-1347-5 . Pp. xii + 272. [REVIEW]Nigel Vinckier & Jean Paul Van Bendegem - forthcoming - Philosophia Mathematica:nkw005.
Giovanni Sommaruga (ed.), Foundational Theories of Classical and Constructive Mathematics, Springer, The Western Ontario Series in Philosophy of Science, Vol. 76, 2011, pp. xi+314. ISBN 978-94-007-0430-5 (hardcover) US $139.00. [REVIEW]Julian C. Cole - 2012 - Studia Logica 100 (5):1047-1050.
Review of Giving Reasons. [REVIEW]Yun Xie - 2012 - Informal Logic 32 (4):440-453.
Carlo Cellucci. Rethinking Logic: Logic in Relation to Mathematics, Evolution and Method. Dordrecht: Springer, 2013. ISBN: 978-94-007-6090-5 ; 978-94-007-6091-2 . Pp. xv + 389. [REVIEW]Emily R. Grosholz - 2015 - Philosophia Mathematica 23 (1):136-140.
Andrew Aberdein and Ian J. Dove, eds. The Argument of Mathematics. Logic, Epistemology, and the Unity of Science; 30. Dordrecht: Springer, 2013. ISBN: 978-94-007-6533-7 ; 978-94-007-6534-4 . Pp. x + 393. [REVIEW]David DeVidi - 2015 - Philosophia Mathematica 23 (2):276-280.
Giovanni sommaruga, ed. foundational theories of classical and constructive mathematics. Dordrecht: Springer, 2011. Isbn 978-94-007-0430-5. Pp. XI + 314. [REVIEW]M. R. Koss - 2012 - Philosophia Mathematica 20 (2):267-271.
Holger Andreas and Peter Verdée , Logical Studies of Paraconsistent Reasoning in Science and Mathematics: Springer, Series: Trends in Logic, Vol. 45, 2016, pp. vi + 221. ISBN 978-3-319-40218-5, EURO 89,99.Graham Priest - 2018 - Studia Logica 106 (6):1313-1318.
Andrew Aberdein and Ian J. Dove, eds. The Argument of Mathematics. Logic, Epistemology, and the Unity of Science; 30. Dordrecht: Springer, 2013. ISBN 978-94-007-6533-7 (hbk); 978-94-007-6534-4 (e-book). Pp. x + 393. [REVIEW]David DeVidi - 2014 - Philosophia Mathematica 22 (2):276-277.

Analytics

Added to PP
2013-01-23

Downloads
76 (#275,797)

6 months
18 (#162,420)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Walter Carnielli
University of Campinas

Citations of this work

No citations found.

Add more citations

References found in this work

The theory of quaternality.W. H. Gottschalk - 1953 - Journal of Symbolic Logic 18 (3):193-196.
The Complexity of Analytic Tableaux.Noriko H. Arai, Toniann Pitassi & Alasdair Urquhart - 2006 - Journal of Symbolic Logic 71 (3):777 - 790.

View all 6 references / Add more references