Szabó Árpád. Anfänge des euklidischen Axiomensystems. Archive for history of exact sciences, vol. 1 no. 1 , pp. 37–106

Journal of Symbolic Logic 36 (1):154-155 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271537

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

Review: Arpad Szabo, Anfange des Euklidischen Axiomensystems. [REVIEW]G. T. Kneebone - 1971 - Journal of Symbolic Logic 36 (1):154-155.
Kneebone G. T.. Mathematical formalisms and their realizations. Philosophy, vol. 27 , pp. 138–147.Charles A. Baylis - 1953 - Journal of Symbolic Logic 18 (3):270-270.
Reviews. G. T. Kneebone. Philosophy and mathematics. Philosophy, vol. 22 , pp. 231–239.Charles A. Baylis - 1948 - Journal of Symbolic Logic 13 (2):124.
Kai F. Wehmeier. Fragments of HA based on Σ 1 -induction. Archive for mathematical logic, vol. 37 no. 1 (1997), pp. 37–49. [REVIEW]Helmut Pfeiffer - 2001 - Bulletin of Symbolic Logic 7 (4):532-532.
Kai F. Wehmeier. Fragments of HA based on Σ1 -induction. Archive for mathematical logic, vol. 37 no. 1 , pp. 37–49. [REVIEW]Helmut Pfeiffer - 2001 - Bulletin of Symbolic Logic 7 (4):532-532.
P. T. Geach and G. H. von Wright. On an extended logic of relations. Societas Scientiarum Fennica, Commentationes physico-mathematicae, vol. 16 no. 1, Copenhagen and Helsingfors1952, 37 pp. [REVIEW]K. J. J. Hintikka - 1957 - Journal of Symbolic Logic 22 (1):72-73.
Wilfried Buchholz. An intuitionistic fixed point theory. Archive for mathematical logic, vol. 37 no. 1 , pp. 21–27. [REVIEW]Erik Palmgren - 2001 - Bulletin of Symbolic Logic 7 (3):391-392.
Mitsuru Tada and Makoto Tatsuta. The function ⌊a/m⌋ in sharply bounded arithmetic. Archive for mathematical logic, vol. 37 no. 1 , pp. 51–57. [REVIEW]Fernando Ferreira - 2001 - Bulletin of Symbolic Logic 7 (3):391-391.
Wolfgang Burr and Volker Hartung. A characterization of the Σ 1 -definable functions of KPω + (uniform AC). Archive for mathematical logic, vol. 37 no. 3 (1998), pp. 199–214. - Wolfgang Burr. A Diller—Nahm-style functional interpretation of KPω. Archive for mathematical logic, vol. 39 no. 8 (2000), pp. 599–604. [REVIEW]Reinhard Kahle - 2001 - Bulletin of Symbolic Logic 7 (4):532-533.
Wolfgang Burr and Volker Hartung. A characterization of the Σ 1 -definable functions of KPω + (uniform AC). Archive for mathematical logic, vol. 37 no. 3 (1998), pp. 199–214. - Wolfgang Burr. A Diller—Nahm-style functional interpretation of KPω. Archive for mathematical logic, vol. 39 no. 8 (2000), pp. 599–604. [REVIEW]Reinhard Kahle - 2001 - Bulletin of Symbolic Logic 7 (4):532-533.

Analytics

Added to PP
2015-02-05

Downloads
29 (#135,560)

6 months
17 (#859,272)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Aristotle's Theory of Demonstration.Jonathan Barnes - 1969 - Phronesis 14 (2):123-152.
Geometry and Spatial Intuition: A Genetic Approach.Rene Jagnow - 2003 - Dissertation, Mcgill University (Canada)

Add more citations

References found in this work

No references found.

Add more references