Matematicheskai︠a︡ logika: vvedenie v matematicheskui︠u︡ logiku: doklady i soobshchenii︠a︡

Moskva: URSS ; (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.K675 2015

ISBN(s)

9785971015024

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,707

External links

  • This entry has no external links. Add one.
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

Stolyar Abram Aronovich. Introduction to elementary mathematical logic. English translation edited by Elliot; Mendelson of Eléméntarnoé vvédénié v matématičéskuú logiku. The MIT Press, Cambridge, Mass., and London, © 1970, pub. 1971, and Dover Publications, New York 1983, vii + 209 pp. [REVIEW]Diane Resek - 1986 - Journal of Symbolic Logic 51 (3):830-831.
Review: Alonzo Church, Vvedenie v Matematiceskuu Logiku. [REVIEW]James G. Renno - 1962 - Journal of Symbolic Logic 27 (1):76-76.
Alonzo Church. Vvédénié v matématičéskuú logiku. Russian translation of XXII 286 by V. S. Čérnávskij, edited by V. A. Uspénskij. Izdatél'stvo Inostrannoj Litératury, Moscow1960, 484 pp. [REVIEW]James G. Renno - 1962 - Journal of Symbolic Logic 27 (1):76-76.
Review: Vladimir Devidé, Matematička logika. Prvi dio (Klasična logika sudova). (Mathematical Logic. Part I (The Classical Logic of Propositions).). [REVIEW]Ivan Boh - 1970 - Journal of Symbolic Logic 35 (2):326-329.
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.
S. N. Artemov. Arithmetically complete modal theories. Six papers in logic, American Mathematical Society translations, ser. 2 vol. 135, American Mathematical Society, Providence1987, pp. 39–54. , vol. 14 , pp. 115–133.) - S. N. Artemov. On modal logics axiomatizing provability. Mathematics of the USSR—Izvestiya, vol. 27 no. 3 , pp. 401–429. , pp. 1123–1154.) - S. N. Artemov. Nonarithmeticity of truth predicate logics of provability. Soviet mathematics—Doklady, vol. 32 , pp. 403–405. , pp. 270–271.) - V. A. Vardanyan. Arithmetic complexity of predicate logics of provability and their fragments. Soviet mathematics—Doklady, vol. 33 no. 3 , pp. 569–572. , pp. 11–14.) - S. N. Artemov. Numerically correct provability logics. Soviet mathematics—Doklady, vol. 34 , pp. 384–387. , pp. 1289–1292.). [REVIEW]Vann McGee - 1991 - Journal of Symbolic Logic 56 (1):329-332.
A. I. Mal′cév. Polno numérovannyé množéstva . Algébra i logika, Séminar, vol. 2 no. 2 , pp. 4–29. - A. I. Mal′cév. K téorii vyčislimyh séméjstv obéktov . Archiv für mathematische Logik und Grundlagenforschung, vol. 3 no. 4 , pp. 5–31. - A. I. Mal′cév. Pozitwnyé i négatwnyé numéracii . Doklady Akadémii Nauk, SSSR, vol. 160 , pp. 278–280. [REVIEW]Elliott Mendelson - 1970 - Journal of Symbolic Logic 35 (2):336-337.
Képi logika.Attila S. Székely - 2009 - Budapest: Animula.
A. G. Dragalin. Matématičéskij intuicionizm. Vvédénié v téoriú dokazatél'stv. Russian original of the preceding. Matématičéskaá logika i osnovaniá matématiki, “Nauka,”Moscow1979, 256 pp. - D. Deutsch. Quantum theory, the Church–Turing principle and the universal quantum computer. Proceedings of the Royal Society of London, ser. A vol. 400 , pp. 97–117. [REVIEW]Urquhart Alasdair - 1990 - Journal of Symbolic Logic 55 (3):1309-1310.
Logika matematyczna.Zofia Adamowicz & Paweł Zbierski - 1991
Logika czasu empirycznego: funktor realizacji czasowej w językach teorii fizykalnych.Marcin Tkaczyk - 2009 - Lublin: Wydawnictwo Katolickiego Uniwersytetu Lubelskiego.
Klasszikus, modális és intenzionális logika.Imre Ruzsa - 1984 - Budapest: Akadémiai Kiadó.
Hybrydowe systemy dedukcyjne w logikach modalnych.Andrzej Indrzejczak - 2006 - Wydawnictwo Uniwersytetu Łódzkiego.
Filosofiia I Logika [Sbornik Statei].P. V. Tavanet︠s︡ & V. A. Smirnov (eds.) - 1974 - Moskva: Izd-vo "Nauka".
Konstruktivnaia Matematicheskaia Logika s Tochki Zreniia Klassicheskoi.Petr Sergeevich Novikov - 1977 - Nauka.

Analytics

Added to PP
2022-12-16

Downloads
0

6 months
0

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

No citations found.

Add more citations

References found in this work

No references found.

Add more references