The Spectrum Problem in the Extended Predicate Calculus

Journal of Symbolic Logic 22 (4):360-360 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963925

Links

PhilArchive



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

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: A. A. Zykov, The Spectrum Problem in the Extended Predicate Calculus. [REVIEW]Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (4):360-360.
A. A. Zykov. Probléma spéktra v rasširénnom isčislénii prédikatov. lzvéstiá Akadémii Nauk SSSR, sériá matématičéskaá, Bd. 17 , S. 63–76. - A. A. Zykov. The spectrum problem in the extended predicate calculus. Englische Übersetzung des Vorhergehenden, von G. L. Kline. American Mathematical Society translations, 2. Reihe Bd. 3 , S. 1–14. [REVIEW]Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (4):360-360.
Review: Shoji Maehara, Gentzen's Theorem on an Extended Predicate Calculus. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):109-109.
Maehara Shôji. Gentzen's theorem on an extended predicate calculus. Proceedings of the Japan Academy, vol. 30 no. 10 , pp. 923–926. [REVIEW]Kurt Schütte - 1962 - Journal of Symbolic Logic 27 (1):109-109.
Algebraic logic and predicate functors.W. V. Quine - 1971 - [Indianapolis,: Bobbs-Merrill.
The logic of plurality.James Edward John Altham - 1971 - London,: Methuen.
Papers on Predicate Calculus.S. C. Kleene - 1954 - Journal of Symbolic Logic 19 (1):62-63.
Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols.S. C. Kleene, W. Craig & R. L. Vaught - 1971 - Journal of Symbolic Logic 36 (2):334-335.
Predicate calculus with free quantifier variables.Richmond H. Thomason & D. Randolph Johnson Jr - 1969 - Journal of Symbolic Logic 34 (1):1-7.
Axiomatization of the Infinite-Valued Predicate Calculus.Louise Schmir Hay - 1964 - Journal of Symbolic Logic 29 (2):110-111.

Analytics

Added to PP
2015-02-05

Downloads
1 (#1,915,729)

6 months
1 (#1,719,665)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references