Banishing the Rule of Substitution for Functional Variables

Journal of Symbolic Logic 20 (2):179-180 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266931

Other Versions

original Henkin, Leon (1953) "Banishing the rule of substitution for functional variables". Journal of Symbolic Logic 18(3):201-208

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

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

Banishing the rule of substitution for functional variables.Leon Henkin - 1953 - Journal of Symbolic Logic 18 (3):201-208.
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. Fragments of propositional calculus.Andrzej Mostowski - 1949 - Journal of Symbolic Logic 14 (3):197-198.

Analytics

Added to PP
2017-02-21

Downloads
15 (#1,278,503)

6 months
1 (#1,572,794)

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.
Visions of Henkin.María Manzano & Enrique Alonso - 2015 - Synthese 192 (7):2123-2138.

Add more citations

References found in this work

No references found.

Add more references