Contents
Reviews
N. I. Stážkin. Logičéskoé naslédstvo P. S. Poréckogo (The logical legacy of P. S. Porěckij). Očérki po istorii logiki v Rossii (Essays in the history of logic in Russia), Izdatél'stvo Moskovskogo Univérsitéta, Moscow1962, pp. 126–154.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 367-368
-
- Article
- Export citation
L. Henkin. Some remarks on infinitely long formulas. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 167–183. - Carol R. Karp. Independence proofs in predicate logic with infinitely long expressions. The journal of symbolic logic, vol. 27 no. 2 (for 1962, pub. 1963), pp. 171–188.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 96-97
-
- Article
- Export citation
V. A. Smirnov. Logičéskié vzglády N. A. Vasil'éva (The logical views of N. A. Vasil'év). Očérki po istorii logiki v Rossii (Essays in the history of logic in Russia), Izdatél'stvo Moskovskogo Univérsitéta, Moscow1962, pp. 242–257.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 368-370
-
- Article
- Export citation
John A. Carpenter, Omar K. Moore, Charles R. Snyder, and Edith S. Lisansky. Alcohol and higher-order problem solving. Quarterly journal of studies on alcohol (New Haven), vol. 22 (1961), pp. 183–222.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 243
-
- Article
- Export citation
Gaisi Takeuti and Akiko Kino. On predicates with constructive infinitely long expressions. Journal of the Mathematical Society of Japan, vol. 15 (1963), pp. 176–190.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-98
-
- Article
- Export citation
G. Kreisel. Foundations of intuitionistic logic. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 198–210.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-244
-
- Article
- Export citation
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
Hao Wang. Process and existence in mathematics. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 328–351.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 244
-
- 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
Leon Henkin. An extension of the Craig-Lyndon interpolation theorem. The journal of symbolic logic, vol. 28 no. 3 (for 1963, pub. 1964), pp. 201–216.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 98-99
-
- 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
Rulon Wells. A measure of subjective information. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence, Rhode Island, 1961, pp. 237–244. - J. D. Sable, R. Wells. Comments. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence, Rhode Island, 1961, pp. 267–268.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 244-245
-
- Article
- Export citation
A. I. Mal'cév. O svobodnyh razréšimyh gruppah. Doklady Akadémii Nauk SSSR, vol. 130 (1960), pp. 495–498. - A. I. Mal'cev. On free soluble groups. English translation of the preceding by K. A. Hirsch. Soviet mathematics, vol. 1 no. 1 (1960), pp. 65–68.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 99
-
- Article
- Export citation
G. Kreisel and H. Wang. Applications of formalized consistency proofs II. Fundamenta mathematicae, vol. 45 no. 3 (1958), pp. 334–335.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 99
-
- Article
- Export citation
Bolesław Sobociński. On the single axioms of protothetic. Notre Dame journal of formal logic, vol. 1 (1960), pp. 52–73, and vol. 2 (1961), pp. 111–126, 129–148.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-246
-
- 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
Jean W. Butler. On complete and independent sets of truth functions in multi-valued logics. 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. 78–80. - Jean W. Butler. On complete and independent sets of operations in finite algebras. Pacific journal of mathematics, vol. 10 (1960), pp. 1169–1179.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 246
-
- Article
- Export citation
Hao Wang. Certain predicates defined by induction schemata. The journal of symbolic logic, vol. 18 (1953), pp. 49–59. Reprinted in A survey of mathematical logic, by Hao Wang, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 535–545.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 99-100
-
- 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