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 [Book Review]

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: 91,322

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.
The Spectrum Problem in the Extended Predicate Calculus.A. A. Zykov - 1957 - Journal of Symbolic Logic 22 (4):360-360.
A. D. Tajmanov. O klassé modéléj, zamknutom otnositél'no prámogo proizvédéniá . Doklady Akadémii Nauk SSSR, vol. 127 , pp. 1173–1175. - A. D. Tajmanov. O klassé modéléj, zamknutyh otnositél'no prámogo proizvédéniá . Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 24 , pp. 493–510. [REVIEW]Peter G. Hinman - 1965 - Journal of Symbolic Logic 30 (2):253-254.
A. A. Markov. O prédstavlènii rékursivnyh funkcij . Izvéstiá Akadémii Nauk SSSR, Sériá matématičeskaá, vol. 13 , pp. 417–424. [REVIEW]Andrzej Mostowski - 1950 - Journal of Symbolic Logic 15 (1):66-66.
A. D. Tajmanov. Haraktéristika aksiomatiziruémyh klassov modélej. II. Izvéstiá Akadémii Nauk SSSR, Séria matématičéskaá, vol. 25 , pp. 755–764. [REVIEW]Andrzej Mostowski - 1973 - Journal of Symbolic Logic 38 (1):164-165.
Vorob'év N. N.. Probléma vyvodimosti v konstruktivnom isčislénii vyskazyvanij s sil'nym otricaniém . Doklady Akadémii Nauk SSSR, vol. 85 , pp. 689–692. [REVIEW]Andrzej Mostowski - 1953 - Journal of Symbolic Logic 18 (3):258-258.
A. A. Markov. О zavisimosti aksiomy Β6 ot drugih aksiom sistémy Bernays'a-Gödel' á . Izvéstiá Akadémii Nauk SSSR, Seriá matématičéskaá, vol. 12 , pp. 569–570. [REVIEW]Andrzej Mostowski - 1949 - Journal of Symbolic Logic 14 (2):140-140.
Ú. I. Ánov and A. A. Mučnik. O suščéstvovanii k-značnyh zamknutyh klassov, né iméúščih konéčnogo bazisa . Doklady Akademii Nauk SSSR, vol. 127 , pp. 44–46. [REVIEW]Andrzej Mostowski - 1962 - Journal of Symbolic Logic 27 (2):236-237.
Šéstakov V. I.. O dvojnoj arifmétičéskoj intérprétacii tréhznačnogo isčisléniá vyskazyvanij, ispol'zuémoj pri modélirovanii elogo isčisléniá posrédstvom réléjno-kommutatornyh shém. Priménénié logiki v nauké i téhnike, Izdatél'stvo Akadémii Nauk SSSR, Moscow 1960, pp. 341–376.Šestakov V. I.. A dual arithmetic interpretation of the 3-valued propositional calculus utilized in the simulation of this calculus by relay-contact networks. English translation of the preceding by Ebner Leo. American Mathematical Society translations, ser. 2 vol. 48 , pp. 45–72. [REVIEW]Alan Rose - 1972 - Journal of Symbolic Logic 37 (1):187-187.
Matematicheskai︠a︡ logika: katalog zarubezhnykh knig Biblioteki Akademii nauk SSSR, 1950-1971 gg.I. A. Lifshits, G. E. Mints & Akademiia Nauk Sssr - 1974 - Leningrad: Biblioteka Akademii nauk SSSR. Edited by G. E. Mint︠s︡.
Trahténbrot B. A.. Konéčnyé avtomaty i logika odnoméstnyh predikátov . Doklady Akadémii Nauk SSSR, vol. 138 , pp. 326–329. [REVIEW]Jiří Bečvář - 1964 - Journal of Symbolic Logic 29 (2):100-100.
Trahténbrot B. A.. Nékotoryé postroéniá v logiké odnoméstnyh. prédikatov . Doklady Akadémii Nauk SSSR vol. 138 , pp. 320–321. [REVIEW]Andrzej Mostowski - 1964 - Journal of Symbolic Logic 29 (2):100-100.
Áblonskij S. V.. O funkcional′noj polnoté v tréhznačnom isčislénii . Doklady Akadémii Nauk SSSR, vol. 95 , pp. 1153–1155. [REVIEW]Andrzej Ehrenfeucht - 1955 - Journal of Symbolic Logic 20 (2):175-175.
V. P. Tugarinov and L. É. Majstrov. Protiv idéalizma, v matématiˇéskoj logiké . Voprosy filsofii, no. 3 , pp. 331–339. - S. A. Ánovskaá. Pis'mo v rédakciú . Voprosy filsofii, no. 3 , pp. 339–342. [REVIEW]George L. Kline - 1952 - Journal of Symbolic Logic 17 (2):124-128.
Cétlin M. L.. Priménénié matričnogo isčislénií k sintézu réléjno-kontaktnyh shém . Doklady Akadémii Nauk SSSR, vol. 86 , pp. 525–528. [REVIEW]Andrzej Rowicki - 1964 - Journal of Symbolic Logic 29 (1):51-51.

Analytics

Added to PP
2016-06-30

Downloads
10 (#1,160,791)

6 months
3 (#1,023,809)

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