Review: Hao Wang, The Non-Finitizability of Impredicative Principles [Book Review]

Journal of Symbolic Logic 16 (2):143-144 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266704

Links

PhilArchive



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

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: J. Barkley Rosser, Hao Wang, Non-Standard Models for Formal Logics. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (2):145-146.
Rosser J. Barkley and Wang Hao. Non-standard models for formal logics. [REVIEW]Th Skolem - 1951 - Journal of Symbolic Logic 16 (2):145-146.
Review: Hao Wang, The Irreducibility of Impredicative Principles. [REVIEW]Robert McNaughton - 1953 - Journal of Symbolic Logic 18 (3):265-266.
The Non-Finitizability of Impredicative Principles.Hao Wang - 1951 - Journal of Symbolic Logic 16 (2):143-144.
Wang Hao. The non-finitizability of impredicalive principles. Proceedings of the National Academy of Sciences of the United States of America, vol. 36 , pp. 479–484. [REVIEW]J. Barkley Rosser - 1951 - Journal of Symbolic Logic 16 (2):143-144.
Review: J. Barkley Rosser, Logique Combinatoire et $lambda$-Conversion; J. Barkley Rosser, les Modeles des Logiques Formelles. [REVIEW]Frederic B. Fitch - 1957 - Journal of Symbolic Logic 22 (3):293-293.
Wang Hao. The irreducibility of impredicative principles. Mathematische Annalen, vol. 125 no. 1 , pp. 56–66.Robert McNaughton - 1953 - Journal of Symbolic Logic 18 (3):265-266.
Review: J. Barkley Rosser, Logic for Mathematicians. [REVIEW]A. Robinson - 1953 - Journal of Symbolic Logic 18 (4):326-327.
Review: J. Barkley Rosser, Logic for Mathematicians. [REVIEW]H. B. Enderton - 1980 - Journal of Symbolic Logic 45 (3):631-632.
Review: Barkley Rosser, Godel Theorems for non-Constructive Logics. [REVIEW]R. Carnap - 1938 - Journal of Symbolic Logic 3 (1):50-50.

Analytics

Added to PP
2013-11-22

Downloads
5 (#1,559,645)

6 months
5 (#836,928)

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