ΦNews

Abstract

Construction and Schemata in Mathematics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4..

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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.

My notes

Similar books and articles

Φnews.Vincent Hendricks - manuscript
Induction Schemata Valid In Kripke Models Of Arithmetical Theories.Tomasz Polacik - 1999 - Reports on Mathematical Logic:111-125.
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.
Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman. edited by Wilfred Sieg, Richard Sommer, and Carolyn Talcott, Lecture Notes in Logic, vol. 15. A. K. Peters, Ltd., Natick, MA, 2002, viii + 440 pp.David Charles McCarty - 2005 - Bulletin of Symbolic Logic 11 (2):239-241.
Chandrasekharan K.. The logic of intuitionistic mathematics. The mathematics student , vol. 9 no. 4 , pp. 143–154.Alonzo Church - 1942 - Journal of Symbolic Logic 7 (4):171-171.
K. Peters, etc.: "Erkenntnisgewissheit und Deduktion". [REVIEW]G. Boss - 1979 - Revue de Théologie Et de Philosophie 111:426.
Upper bounds on complexity of Frege proofs with limited use of certain schemata.Pavel Naumov - 2006 - Archive for Mathematical Logic 45 (4):431-446.
Götlind Erik. A note on an article by R. K. P. Singh and R. Shukla. The mathematics student, vol. 19 no. 3–4 , pp. 120–121. [REVIEW]Alonzo Church - 1952 - Journal of Symbolic Logic 17 (4):277-277.
Charles Peirce: Meaning, Mathematics, and “Pragmatic Schemata”.Sandra B. Rosenthal - 1983 - Southern Journal of Philosophy 21 (4):575-583.
Tomek Bartoszyński and Haim Judah. Set theory. On the structure of the real line. A K Peters, Wellesley, Mass., 1995, xi + 546 pp. [REVIEW]Péter Komjáth - 1997 - Journal of Symbolic Logic 62 (1):321-323.

Analytics

Added to PP
2010-12-22

Downloads
11 (#351,772)

6 months
11 (#1,140,922)

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