New foundation of formal metamathematics

&
Journal of Symbolic Logic 3 (1):1-36 (1938)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267504

Other Versions

reprint Chwistek, L.; Hetper, W. (1938) "New Foundation of Formal Metamathematics". Journal of Symbolic Logic 3(3):120-121

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

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

Chwistek L. and Hetper W.. New foundation of formal metamathematics.W. V. Quine - 1938 - Journal of Symbolic Logic 3 (2):120-121.
Review: L. Chwistek, W. Hetper, New Foundation of Formal Metamathematics. [REVIEW]W. V. Quine - 1938 - Journal of Symbolic Logic 3 (3):120-121.
Chwistek Leon. A formal proof of Gödel's theorem.Helen Brodie - 1940 - Journal of Symbolic Logic 5 (1):28-30.
Götlind Erik. A note on Chwistek and Helper's foundation of formal metamathematics. Den 11te Skandinaviske Matematikerkongress i Trondheim 22-25 August 1949, Johan Grundt Tanums Forlag, Oslo 1952, pp. 268–270. [REVIEW]Alonzo Church - 1954 - Journal of Symbolic Logic 19 (2):140-140.
Chwistek Leon. Krytyka pojęcia zmiennej w systemie semantyki racjonalnej . Archiwum Towarzystwa Naukowego we Lwowie, Dział III, vol. 9 , pp. 283–334. [REVIEW]Helen Brodie - 1940 - Journal of Symbolic Logic 5 (4):166-166.
Review: Leon Chwistek, La Semantique Rationnelle et ses Applications. [REVIEW]C. H. Langford - 1938 - Journal of Symbolic Logic 3 (2):93-94.

Analytics

Added to PP
2009-01-28

Downloads
47 (#469,173)

6 months
10 (#407,001)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Linguistic Analysis of Mathematics.Arthur F. Bentley - 1933 - Philosophical Review 42:643.

Add more references