Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

External links

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

Through your library

  • Only published works are available at libraries.

Similar books and articles

The development of intuitionistic logic.Mark van Atten - 2008 - Stanford Encyclopedia of Philosophy. The Meta-27here I Am Assuming That’Evidence’Provides the Basis for One’s Doxastic Justification. Additionally, I:en ligne.
Genesis and Development of Intuitionistic Logic.Zygmunt Zawirski - 1947 - Journal of Symbolic Logic 12 (1):26-27.
The early development of set theory.José Ferreirós - unknown - Stanford Encyclopedia of Philosophy.
The logic of mass expressions.David Nicolas - 2018 - Stanford Encyclopedia of Philosophy.
Mark van Atten. On Brouwer.R. Tieszen - 2004 - Philosophia Mathematica 12 (1):75-78.
Gottlob Frege.Edward N. Zalta - 2008 - Stanford Encyclopedia of Philosophy.
Essays on Gödel's Reception of Leibniz, Husserl, and Brouwer.M. Hartimo - 2016 - History and Philosophy of Logic 37 (3):297-299.

Analytics

Added to PP
2013-07-11

Downloads
15 (#948,985)

6 months
2 (#1,448,741)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Mark van Atten
Centre National de la Recherche Scientifique

Citations of this work

What is a Relevant Connective?Shawn Standefer - 2022 - Journal of Philosophical Logic 51 (4):919-950.
Montague’s Paradox, Informal Provability, and Explicit Modal Logic.Walter Dean - 2014 - Notre Dame Journal of Formal Logic 55 (2):157-196.
The Context of Inference.Curtis Franks - 2018 - History and Philosophy of Logic 39 (4):365-395.
Delimited control operators prove Double-negation Shift.Danko Ilik - 2012 - Annals of Pure and Applied Logic 163 (11):1549-1559.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references