Classical, Relativistic and Constructivist Ways of Asserting Theorems

In Jan Wolenski (ed.), Philosophical Logic in Poland. Kluwer Academic Publishers. pp. 19--31 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Andrzej Grzegorczyk, a Logician Par Excellence.Stanisław Krajewski - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 723-730.
Review: Andrzej Grzegorczyk, On the Concept of Categoricity; A. Grzegorczyk, A Kind of Categoricity. [REVIEW]Gunter Asser - 1965 - Journal of Symbolic Logic 30 (3):387-388.
Papers on logic and rationality: festschrift in honour of Andrzej Grzegorczyk.Kazimierz Trzęsicki, Stanisław Krajewski, Jan Woleński & Andrzej Grzegorczyk (eds.) - 2012 - Białystok: University of Białystok.
Review: Andrzej Grzegorczyk, Fonctions Recursives. [REVIEW]Rozsa Peter - 1966 - Journal of Symbolic Logic 31 (3):481-483.
Review: Andrzej Grzegorczyk, A Philosophically Plausible Formal Interpretation of Intuitionistic Logic. [REVIEW]C. G. McKay - 1971 - Journal of Symbolic Logic 36 (2):329-329.
Review: Andrzej Grzegorczyk, On Certain Formal Consequences of Reism. [REVIEW]C. Lejewski - 1973 - Journal of Symbolic Logic 38 (3):536-536.
Review: Andrzej Grzegorczyk, Undecidability of Some Topological Theories. [REVIEW]Hartley Rogers - 1953 - Journal of Symbolic Logic 18 (1):73-74.
Review: Andrzej Grzegorczyk, Axiomatizability of Geometry without points. [REVIEW]Wolfram Schwabhauser - 1972 - Journal of Symbolic Logic 37 (1):201-201.
Review: Andrzej Grzegorczyk, The Systems of Lesniewski in Relation to Contemporary Logical Research. [REVIEW]A. N. Prior - 1962 - Journal of Symbolic Logic 27 (1):117-118.
A View of Revival of Mathematical Logic in Warsaw, 1945–1975.Victor W. Marek - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 665-672.

Analytics

Added to PP
2014-01-30

Downloads
2 (#1,819,493)

6 months
19 (#145,295)

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