Contents
Reviews
N. I. Stážkin and V. D. Silakov. Kratkij očérk istorii obščej i matématičéskoj logiki v Rossii (A brief outline of the history of general and mathematical logic in Russia). Gosudarstvénnoé Izdatél'stvo “Vysšaa Škola,” Moscow1962, 87 pp
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 370-371
-
- Article
- Export citation
P. V. Kopnin and P. V. Tavaneć. Dialéktika i logika (Dialectic and logic). Dialéktika i logika, Zakony myšléniá (Dialectic and logic, The laws of thought), Izdatél'stvo Akadémii Nauk SSSR, Moscow1962, pp. 7–62. - B. M. Kédrov. Prédmét marksistskoj dialéktičéshoj logiki i égo otličié ot prédméta formal'noj logiki (The subject matter of Marxist dialectical logic and its difference from the subject matter of formal logic). Dialéktika i logika, Zakony myšléniá (Dialectic and logic, The laws of thought), Izdatél'stvo Akadémii Nauk SSSR, Moscow1962, pp. 63–137. - B. M. Kédrov. Zakony marksistskoj dialéktičéskoj logiki i ih otnošénié k zakonam formal'noj logiki (The laws of Marxist dialectical logic and their relation to the laws of formal logic). Dialéktika i logika, Zakony myšléniá (Dialectic and logic, The laws of thought), Izdatél'stvo Akadémii Nauk SSSR, Moscow1962, pp. 138–218. - V. A. Léktorskij and N. V. Karabanov. Ponátié toždéstva v formal'noj i dialéktičéshoj logiké (The concept of identity in formal and dialectical logic). Dialéktika i logika, Zakony myšléniá (Dialectic and logic, The laws of thought), Izdatél'stvo Akadémii Nauk SSSR, Moscow1962, pp. 219–266. - J. Eléz. Dialéktičéská i formal'naá logika ob obéktivnyh i subéktivnyh protivoréčiáh i kritérii ih različéniá (Dialectical and formal logic on objective and subjective contradictions and the criteria by which they are distinguished). Dialéktika i logika, Zakony myšléniá (Dialectic and logic, The laws of thought), Izdatél'stvo Akadémii Nauk SSSR, Moscow1962, pp. 267–307. - B. M. Kédrov. Nésvodimost' marksistskoj dialéktičéshoj traktovki protivorčéij k formal'nologičéskim shémam (The irreducibility of the Marxist dialectical treatment of contradictions to the schemata of formal logic). Dialéktika i logika, Zakony myšléniá (Dialectic and logic, The laws of thought), Izdatél'stvo Akadémii Nauk SSSR, Moscow1962, pp. 308–334.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 371-372
-
- Article
- Export citation
D. P. Gorskij. Priménénié dialéktičéskoj logiki k izučéniú procéssov myšléniá (Application of dialectical logic to the study of thought processes). Dialéktika i logika, Formy myšléniá (Dialectic and logic, The forms of thought), Izdatél'stvo Akadémii Nauk SSSR, Moscow1962, pp. 5–41. - B. M. Kédrov. Opérirovanié naučnymi ponátiámi v dialéktičéskoj i formal'noj logiké (Operating with scientific concepts in dialectical and formal logic). Dialéktika i logika, Formy myšléniá (Dialectic and logic, The forms of thought), Izdatél'stvo Akadémii Nauk SSSR, Moscow1962, pp. 42–141. - I. G. Gérasimov. Analiz i sintéz v formal'noj logiké i dialéktiké (Analysis and synthesis in formal logic and dialectic). Dialéktika i logika, Formy myšléniá (Dialectic and logic, The forms of thought), Izdatél'stvo Akadémii Nauk SSSR, Moscow1962, pp. 142–171. - E. V. Il'enkov. Ponimanié abstraktnogo i konkrétnogo v dialéktiké i formal'noj logiké (Understanding abstract and concrete in dialectic and formal logic). Dialéktika i logika, Formy myšléniá (Dialectic and logic, The forms of thought), Izdatél'stvo Akadémii Nauk SSSR, Moscow1962, pp. 172–210. - L. P. Gokiéli. O dialéktičéskom haraktéré “korénnyh vyvodov” v logiké (On the dialectical character of “fundamental deductions” in logic). Dialéktika i logika, Formy myšléniá (Dialectic and logic, The forms of thought), Izdatél'stvo Akadémii Nauk SSSR, Moscow1962, pp. 211–222. - A. A. Zinov'év. Probléma stroéniá nauki v logiké i dialiktiké (The problem of the structure of science in logic and dialectic). Dialéktika i logika, Formy myšléniá (Dialectic and logic, The forms of thought), Izdatél'stvo Akadémii Nauk SSSR, Moscow1962, pp. 223–270. - B. M. Kédrov. Formal'nyé i dialéktičéskié principy klassifikacii nauk i obščaá struktura naučnogo znaniá (The formal and dialectical principles of classification of the sciences and the general structure of scientific knowledge). Dialéktika i logika, Formy myšléniá (Dialectic and logic, The forms of thought), Izdatél'stvo Akadémii Nauk SSSR, Moscow1962, pp. 271–310.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 372-373
-
- Article
- Export citation
A. A. Zinov'év. Logika vyskazyvanij i téoriá vyvoda (Propositional logic and theory of deduction). Izdatél'stvo Akadémii Nauk SSSR, Moscow1962, 152 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 373
-
- Article
- Export citation
A. Bayart. Correction de la logique modale du premier et du second ordre S5, Logique et analyse, n.s. vol. 1 (1958), pp. 28–45. (See Errata, Logique et analyse, n.s., vol. 2 (1959). p. 54.) - A. Bayart. Quasi-adéquation de la logique modale du second ordre S5 et adéquation de la logique modale du premier ordre S5. Logique et analyse, n.s. vol. 2 (1959), pp. 99–121.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 373-374
-
- Article
- Export citation
Akira Nakamura. On an axiomatic system of the infinitely many-valued threshold logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 71–76. - Akira Nakamura. On the infinitely many-valued threshold logics and von Wright's system M″. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 147–164. - Akira Nakamura. A note on truth-value functions in the infinitely many-valued logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), vol. 9 (1963), pp. 141–144. - Akira Nakamura. On a simple axiomatic system of the infinitely many-valued logic based on ∧, →. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 251–263. - Akira Nakamura. On an axiomatic system of the infinitely many-valued threshold predicate calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 321–239. - Akira Nakamura. Truth-value stipulations for the von Wright system M′ and the Heyting system. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), vol. 10 (1964), pp. 173–183.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 374-375
-
- Article
- Export citation
Burton Dreben. Relation of m-valued quantificational logic to 2-valued quantificational logic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 303–304.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 375-376
-
- Article
- Export citation
Ivo Thomas. Two arithmetical techniques with numbered classes. The journal of symbolic logic, vol. 27 no. 4 (for 1962, pub. 1963), pp. 437–438.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 376
-
- Article
- Export citation
Jan Łukasiewicz. Uwagi o aksjomacie Nicoda i o “dedukcji uogólniającej”. (Remarks on Nicod's axiom and on “generalizing deduction”). A reprint of 1869. Z zagadnień logiki i filozofii, Pisma wybrane, by Jan Łukasiewicz, edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 164–177.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 376-377
-
- Article
- Export citation
Bolesław Sobociński. Six new sets of independent axioms for distributive lattices with O and I. Notre Dame journal of formal logic. vol. 3 (1962), pp. 187–192.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 377-378
-
- Article
- Export citation
Daniel Ponasse. Structure prébooléienne. Ensemble prébooléien universel associé à un ensemble quelconque. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 248 (1959), pp. 899–902. - Daniel Ponasse. Anneau booléien universel associé à un ensemble quelconque. Applications au calcul propositionnel. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 248 (1959), pp. 1093–1096.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 378
-
- Article
- Export citation
A. A. Markov. Ob invérsionnoj složnosti sistém funkcij. Doklady Akadémii Nauk SSSR, vol. 116 (1957), pp. 917–919. - A. A. Markov. On the inversion complexity of a system of functions. English translation of the preceding by Morris D. Friedman. Journal of the Association for Computing Machinery, vol. 5 (1958), pp. 331–334.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 378-379
-
- Article
- Export citation
Ú. I. Žuravlév. O névozmožnosti postroéniá minimal'nyh dizúnktivnyh normal'nyh form funkcij algébry logiki v odnom kassé algoritmov. Doklady Akadémii Nauk SSSR, vol. 132 (1960), pp. 504–506. - Yu. I. Žuravlev. On the impossibility of constructing minimal disjunctive normal forms for functions of the algebra of logic in a single class of algorithms. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 1 no. 3 (1960), pp. 581–583.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 379
-
- Article
- Export citation
M. A. Gavrilov. Postroénié signalov téléupravléniá s kombinirovannym ispol'zovaniém impul'snyh priznakov (Construction of remote control signals with combined use of pulse indications). Avtomatika i téléméhanika, vol. 17 (1956), pp. 1092–1113.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 379
-
- Article
- Export citation
A. Š. Bloh. Sintéz réléjno-kontaktnyh shém (The synthesis of relay-contact circuits). Doklady Akadémii Nauk SSSR, vol. 117 (1957), pp. 609–612.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 379-380
-
- Article
- Export citation
Františék Svoboda. K. postroéniú péréklúčatél'nyh shém opytnym putém (On the construction of switching circuits by the experimental method). Bulletin mathématique de la Société des Sciences Mathématiques et Physiques de la République Populaire Roumaine, n.s. vol. 2(50) no. 2 (1958), pp. 191–201.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 380
-
- Article
- Export citation
Frederic B. Fitch. Representation of sequential circuits in combinatory logic. Philosophy of science, vol. 25 (1958), pp. 263–279.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 380
-
- Article
- Export citation
V. M. Gluškov. Sintéz cifrovyh avtomatov (Synthesis of digital automata). Gosudarstvénnoé Izdatél'stvo Fiziko-matématičéskoj Litératury, Moscow1962, 476 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 380-381
-
- Article
- Export citation
Ú. T. Médvédév. O klassé sobytij, dopuskaúščih prédstavlénié v konéčnom avtomaté (On a class of events representable in a finite automaton). Avtomaty, Izdatél'stvo Inostrannoj Litératury, Moscow1956, pp. 385–401.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 381-382
-
- Article
- Export citation
Heinz Zemanek. Automaten und Denkprozesse. German, with summaries in German, English, and French. Digitale Informationswandler — Digital information processors, edited by Friedr Walter Hoffmann. Vieweg & Sohn, Braunschweig, and Interscience Publishers, New York, 1962, pp. 1–66.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 382
-
- Article
- Export citation