Philosophical Observations on Mathematical Logic and on Investigations into the Foundations of Mathematics

Journal of Symbolic Logic 23 (3):342-343 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964294

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Philosophy of Mathematics in the Warsaw Mathematical School.Roman Murawski - 2010 - Axiomathes 20 (2-3):279-293.
The Present State of Investigations on the Foundations of Mathematics.Andrzej Mostowski & Grzegorczyk - 1955 - Pa Nstwowe Wydawnictwo Naukowe.
Essays in the philosophy and history of logic and mathematics.Roman Murawski - 2010 - New York, NY: Rodopi. Edited by Thomas Bedürftig, Izabela Bondecka-Krzykowska & Jan Woleński.
Hardness assumptions in the foundations of theoretical computer science.Jan Krajíček - 2005 - Archive for Mathematical Logic 44 (6):667-675.
Mathematical logic and the foundations of mathematics: an introductory survey.G. T. Kneebone - 1963 - Mineola, N.Y.: Dover Publications.
Propositional logic of continuous transformations in Cantor space.Grigori Mints & Ting Zhang - 2005 - Archive for Mathematical Logic 44 (6):783-799.
Provability in predicate product logic.Michael C. Laskowski & Shirin Malekpour - 2007 - Archive for Mathematical Logic 46 (5-6):365-378.
The search for certainty: a philosophical account of foundations of mathematics.Marcus Giaquinto - 2002 - New York: Oxford University Press.
The ethnomethodological foundations of mathematics.Eric Livingston - 1986 - Boston: Routledge and Kegan Paul.
P 0 1 \pi^0_1 -presentations of algebras.Bakhadyr Khoussainov, Theodore Slaman & Pavel Semukhin - 2006 - Archive for Mathematical Logic 45 (6):769-781.
An ordinal analysis of parameter free Π12-comprehension.Michael Rathjen - 2005 - Archive for Mathematical Logic 44 (3):263-362.
The problem of the formalization of constructive topology.Silvio Valentini - 2005 - Archive for Mathematical Logic 44 (1):115-129.
Well-foundedness in Realizability.M. Hofmann, J. van Oosten & T. Streicher - 2006 - Archive for Mathematical Logic 45 (7):795-805.
Preface.Douglas Cenzer & Rebecca Weber - 2008 - Archive for Mathematical Logic 46 (7-8):529-531.
An ordinal analysis of stability.Michael Rathjen - 2005 - Archive for Mathematical Logic 44 (1):1-62.

Analytics

Added to PP
2015-02-05

Downloads
20 (#723,940)

6 months
4 (#698,851)

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