13629 results in The Journal of Symbolic Logic
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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 379-380
- Print publication:
- September 1965
-
- Article
- Export citation
Richard Goldberg. On the solvability of a subclass of the Surányi reduction class. The journal of symbolic logic, vol. 28 no. 3 (for 1963, pub. 1964), pp. 237–244.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 391
- Print publication:
- September 1965
-
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 379
- Print publication:
- September 1965
-
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 371-372
- Print publication:
- September 1965
-
- Article
- Export citation
A. I. Mal′cév. O nérazréšimosti éléméntarnyh téorij nékotoryh poléj (On the undecidability of the elementary theories of certain fields). Sibirskij matématičéskij žurnal, vol. 1 (1960), pp. 71–77. - A. I. Mal′cév. Zaméčanié k stat′é “O nérazréšimosti élémintarnyh téorij nékotoryh poléj” (Remark on the paper “On the undecidability of the elementary theories of certain fields”). Sibirskij matématičéskij žurnal, vol. 2 (1961), p. 639.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 395-397
- Print publication:
- September 1965
-
- Article
- Export citation
Shih-Chao Liu. Four types of general recursive well-orderings. Notre Dame journal of formal logic, vol. 3 (1962), pp. 75–78.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 255-256
- Print publication:
- June 1965
-
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 243-244
- Print publication:
- June 1965
-
- Article
- Export citation
C. C. Chang. On the representation of α-complete Boolean algebras. Transactions of the American Mathematical Society, vol. 85 (1957), pp. 208–218.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 252
- Print publication:
- June 1965
-
- Article
- Export citation
JSL volume 30 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- June 1965
-
- Article
-
- You have access
- Export citation
Alan Cobham. Some remarks concerning theories with recursively enumerable complements. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 72–74.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 255
- Print publication:
- June 1965
-
- Article
- Export citation
Francesco Barone. La terapia semantica. Il pensiero americano contemporaneo, Filosofia, Epistemologia, Logica, edited by Ferruccio Rossi-Landi, Edizioni di Comunita, Milan1958, pp. 3–24.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 238
- Print publication:
- June 1965
-
- Article
- Export citation
A. H. Lachlan. Recursive real numbers. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 1–16.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 256
- Print publication:
- June 1965
-
- Article
- Export citation
Alfred North Whitehead and Bertrand Russell. Principia mathematica to *56. A reprint of 1941 as far as *56, including 1944, 1945, 1947. Cambridge University Press, London and New York1962, xlvi + 410 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 237-238
- Print publication:
- June 1965
-
- Article
- Export citation
Giuseppe Vaccarino. L'implicazione stretta e la logica delle modalità. Il pensiero americano contemporaneo, Filosofia, Epistemologia, Logica, edited by Ferruccio Rossi-Landi, Edizioni di Comunita, Milan1958, pp. 235–270.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 239-240
- Print publication:
- June 1965
-
- Article
- Export citation
The substitution method
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 175-192
- Print publication:
- June 1965
-
- Article
- Export citation
Hao Wang. Circuit synthesis by solving sequential Boolean equations. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 269–305.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 249
- Print publication:
- June 1965
-
- Article
- Export citation
Evert W. Beth. Formal methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic. Synthese library. D. Reidel Publishing Company, Dordrecht, Holland, and Gordon and Breach, New York, 1962, XIV + 170 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 235-236
- Print publication:
- June 1965
-
- Article
- Export citation
Robert Vaught. The elementary character of two notions from general algebra. 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, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 226–233.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 252-253
- Print publication:
- June 1965
-
- Article
- Export citation
Extensions of the constructive ordinals1
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 193-211
- Print publication:
- June 1965
-
- Article
- Export citation
A. Lévy. Principles of reflection in axiomatic set theory. Fundamenta mathematicae, vol. 49 no. 1 (1960), pp. 1–10.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 251
- Print publication:
- June 1965
-
- Article
- Export citation