Review: P. Andrews, Fundamenta Mathematicae: A Reduction of the Axioms for the Theory of Propositional Types [Book Review]

Journal of Symbolic Logic 30 (3):385-385 (1965)
  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: 91,219

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

A reduction of the axioms for the theory of propositional types.Peter Andrews - 1963 - Fundamenta Mathematicae 52:345-350.
Review: L. Henkin, Fundamenta Mathematicae: A Theory of Propositional Types. [REVIEW]J. R. Guard - 1965 - Journal of Symbolic Logic 30 (3):385-385.
A theory of propositional types.Leon Henkin - 1963 - Fundamenta Mathematicae 52:323-334.
A note on the theory of propositional types.Andrzej Grzegorczyk - 1964 - Fundamenta Mathematicae 54 (3):27-29.
A system which can define its own truth.Alonzo Church - 1950 - Fundamenta Mathematicae 37 (1):190--92.
Review: G. Kreisel, H. Wang, Hao Wang, Fundamenta Mathematicae. [REVIEW]G. Hasenjaeger & Steven Orey - 1965 - Journal of Symbolic Logic 30 (1):99-101.
An Extension of a Theorem of Gaifman-Hales-Solovay.Haim Gaifman - 1967 - Fundamenta Mathematicae 61 (1):29-32.
Some remarks on the consequence operation in sentential logics.Ryszard Wójcicki - 1970 - Fundamenta Mathematicae 68 (1):269--279.
Theory Reduction by Means of Functional Sub‐types.Michael Esfeld & Christian Sachse - 2007 - International Studies in the Philosophy of Science 21 (1):1 – 17.
Review: Alan Rose, A Reduction in the Number of the Axioms of the Propositional Calculus. [REVIEW]W. V. Quine - 1950 - Journal of Symbolic Logic 15 (2):139-139.
Deduction-preserving ‘Recursive Isomorphisms’ between Theories.Marian Boykan Pour-El & Saul A. Kripke - 1967 - Fundamenta Mathematicae 61:141-163.
On embedding models of arithmetic of cardinality aleph_1 into reduced powers.Juliette Kennedy & Saharon Shelah - 2003 - Fundamenta Mathematicae 176 (1).
Review of Kristin Andrews' Do Apes Read Minds? Toward a New Folk Psychology. [REVIEW]Neil Van Leeuwen - 2013 - Notre Dame Philosophical Reviews 4.

Analytics

Added to PP
2013-11-22

Downloads
3 (#1,650,745)

6 months
1 (#1,459,555)

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