Banishing the rule of substitution for functional variables

Journal of Symbolic Logic 18 (3):201-208 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267403

Other Versions

reprint Henkin, Leon (1955) "Banishing the Rule of Substitution for Functional Variables". Journal of Symbolic Logic 20(2):179-180

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

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

Leon Henkin. Banishing the rule of substitution for functional variables. The journal of symbolic logic, vol. 18 , pp. 201–208.Alonzo Church - 1955 - Journal of Symbolic Logic 20 (2):179-180.
Henkin Leon. The completeness of the first-order functional calculus.W. Ackermann - 1950 - Journal of Symbolic Logic 15 (1):68-68.
Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.
Henkin Leon. Completeness in the theory of types.Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (1):72-73.
Henkin Leon. Some notes on nominalism.George D. W. Berry - 1954 - Journal of Symbolic Logic 19 (4):289-290.
Henkin Leon. Fragments of propositional calculus.Andrzej Mostowski - 1949 - Journal of Symbolic Logic 14 (3):197-198.
Review: Leon Henkin, On a Theorem of Vaught. [REVIEW]Dana Scott - 1959 - Journal of Symbolic Logic 24 (1):58-58.
Henkin Leon. Two concepts from the theory of models.C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):95-96.
In memoriam: Leon Albert Henkin, 1921—2006.J. Donald Monk - 2009 - Bulletin of Symbolic Logic 15 (3):326-331.

Analytics

Added to PP
2009-01-28

Downloads
57 (#380,075)

6 months
12 (#311,239)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Neo-Logicism and Its Logic.Panu Raatikainen - 2020 - History and Philosophy of Logic 41 (1):82-95.
Second‐Order Intensional Logic.M. J. Cresswell - 1972 - Mathematical Logic Quarterly 18 (19-20):297-320.

View all 10 citations / Add more citations

References found in this work

Add more references