Pavel Pudlák. Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction. Springer Monographs in Mathematics. Springer, 2013. ISBN: 978-3-319-00118-0 ; 978-3-319-00119-7 . Pp. xiv + 695 [Book Review]

Philosophia Mathematica 23 (3):435-438 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/philmat/nkv006

Links

PhilArchive



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

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

Stephen Pollard. A Mathematical Prelude to the Philosophy of Mathematics. Springer, 2014. ISBN: 978-3-319-05815-3 ; 978-3-319-05816-0 . Pp. xi + 202. [REVIEW]Audrey Yap - 2016 - Philosophia Mathematica 24 (2):275-277.
Erratum.Peter Simons - forthcoming - Philosophia Mathematica:nkx001.
Review of Woosuk Park, Philosophy’s Loss of Logic to Mathematics: An Inadequately Understood Take-Over. [REVIEW]James Franklin - 2019 - Philosophia Mathematica 27 (3):440-443.
Carlo Cellucci. Rethinking Knowledge: The Heuristic View.Stephen Pollard - 2017 - Philosophia Mathematica 25 (3):413-418.
Enrico Martino.*Intuitionistic Proof Versus Classical Truth, The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics.Wim Veldman - 2019 - Philosophia Mathematica 27 (3):445-450.
Jan von Plato, Saved from the Cellar. Gerhard Gentzen's Shorthand Notes on Logic and the Foundations of Mathematics: Springer International Publishing, 2017. Sources and Studies in the History of Mathematics and Physical Sciences, x + 315 pp., ISBN 978-3-319-42119-3 , EUR 109.99, GBP 82.00, ISBN 978-3-319-42120-9 , EUR 91,62.Adrian Rezuş - 2019 - Studia Logica 107 (3):583-589.
Books of Essays.[author unknown] - 2017 - Philosophia Mathematica Advance Access 25 (2):284-285.
Can Başkent, Perspectives on Interrogative Models of Inquiry, Springer, 2016. [REVIEW]Francesca Poggiolesi - 2016 - Logic and Logical Philosophy 25 (4):555-560.
Hourya Benis-Sinaceur, Marco Panza, and Gabriel Sandu.Functions and Generality of Logic: Reflections on Dedekind’s and Frege’s Logicisms. [REVIEW]Patricia Blanchette - forthcoming - Philosophia Mathematica:nky021.
Mauro Antonelli (2018): Vittorio Benussi in the History of Psychology. Cham, Switzerland: Springer. ISBN 978-3-319-96682-3, ISBN 978-3-319-96684-7, https://doi.org/10.1007/978-3-319-96684-7, 384 Seiten, 106,99 Euro (hardcover), 85,59 Euro (ebook). [REVIEW]Wolfgang Schönpflug - 2021 - Gestalt Theory 43 (2):247-250.

Analytics

Added to PP
2015-02-26

Downloads
34 (#123,329)

6 months
5 (#1,552,255)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Alasdair Urquhart
University of Toronto, St. George Campus

Citations of this work

No citations found.

Add more citations

References found in this work

Bolzano's logic.Jan Berg - 1962 - Stockholm,: Almqvist & Wiksell.

View all 12 references / Add more references