Constructivity in mathematics

(ed.)
Amsterdam,: North-Holland Pub. Co. (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.I5 1957
View all bargains

Buy this book

Links

PhilArchive



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

External links

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

Through your library

My notes

Chapters

Über eine natürliche Erweiterung des Relationenkalkuls.Paul Bernays
Recursive analysis.Rl Goodsteest
Countable functionals.S. C. Kleene
Interpretation of analysis by means of constructive functionals of finite types.Georg Kreisel
Quelques procedes de definition en topologffi recursive.Daniel Lacombe
Quelques procédés de définition en topologie récursive.Daniel Lacombe
Rekursivität und konstruktivität.R. Ö. Z. S. A. Pfiter
Der heytingsche prädikatenkalkul und metrische räume.Roman Sikorski
Heytingsche prädikatenkalkul und metrische räume 251.X. Xxx
Hans Hermes institut für mathematische logik, münster I. W.der Operativen Logik Zum Inversionsprinzip

Similar books and articles

Frege Conference 1984: proceedings of the international conference held at Schwerin, GDR, September 10-14, 1984.Gerd Wechsung (ed.) - 1984 - Berlin: Akademie Verlag.
The space of mathematics: philosophical, epistemological, and historical explorations.Javier Echeverría, Andoni Ibarra & Thomas Mormann (eds.) - 1992 - New York: W. de Gruyter.
The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
Changing views of the physical world, 1954-1979.Guy Kendall White (ed.) - 1980 - Canberra: Australian Academy of Science.
Constructive mathematics: proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980.Fred Richman (ed.) - 1981 - New York: Springer Verlag.
Structures in mathematical theories: reports of the San Sebastian international symposium, September 25-29, 1990.Amparo Díez, Javier Echeverría & Andoni Ibarra (eds.) - 1990 - [Spain]: Argitarapen Zerbitzua Euskal, Herriko Unibertsitatea.
“Clarifying the nature of the infinite”: The development of metamathematics and proof theory.Jeremy Avigad - manuscript
The L.E.J. Brouwer Centenary Symposium: proceedings of the conference held in Noordwijkerhout, 8-13 June 1981.L. E. J. Brouwer, A. S. Troelstra & D. van Dalen (eds.) - 1982 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Logic, methodology, and philosophy of science VIII: proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987.Jens Erik Fenstad, Ivan Timofeevich Frolov & Risto Hilpinen (eds.) - 1989 - New York, NY, U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science.
Metamathematics and the philosophy of mind.Judson Webb - 1968 - Philosophy of Science 35 (June):156-78.

Analytics

Added to PP
2009-09-15

Downloads
3 (#1,686,544)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Modality Called ‘Negation’.Francesco Berto - 2015 - Mind 124 (495):761-793.
Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.
Realism.Susan Haack - 1987 - Synthese 73 (2):275 - 299.
Essay review.Carl J. Posy - 1983 - History and Philosophy of Logic 4 (1-2):83-90.

Add more citations

References found in this work

No references found.

Add more references