13629 results in The Journal of Symbolic Logic
V. A. Uspénskij. Vyčislimyé opéracii i ponátié programmy (Calculable operations and the notion of a program). Uspéhi matématičéskih nauk, vol. 11 no. 4 (1956), pp. 172–176.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 49
- Print publication:
- March 1958
-
- Article
- Export citation
Günter Asser. Über die Ausdrucksfähigkeit des Prädikatenkalküls der ersten Stufe mit Funktionalen. Ebd., Bd. 2 (1956), S. 250–264.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 39
- Print publication:
- March 1958
-
- Article
- Export citation
V. A. Uspénskij. Néskol'ko zaméčanij o péréčislimyh množéstvah (Some notes on recursively enumerable sets). Russian, with brief English summary. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 (1957), pp. 157–170.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 49-50
- Print publication:
- March 1958
-
- Article
- Export citation
Alonzo Church. Binary recursive arithmetic. Journal de mathématiques pures et appliquées, ser. 9 vol. 36 (1957), pp. 39–55.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 35
- Print publication:
- March 1958
-
- Article
- Export citation
P. S. Novikov. Nérazréšmost' problémy soprázénnosti v térii grupp (Unsolvability of the conjugacy problem in group theory). Izvéstiá Akadémii Nauk SSSR, Séria mat., vol. 18 (1954), pp. 485–524.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 52-54
- Print publication:
- March 1958
-
- Article
- Export citation
R. Harrop. An investigation of the propositional calculus used in a particular system of logic. Proceedings of the Cambridge Philosophical Society, vol. 50 (1954), pp. 495–512.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 65
- Print publication:
- March 1958
-
- Article
- Export citation
Notice of a meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 111
- Print publication:
- March 1958
-
- Article
- Export citation
Jan Gregorowicz. Zarys logiki dla prawników (An outline of logic for lawyers). Państwowe Wydawnictwo Naukowe, Łódź-Warszawa1955, 136 pp. - Władisław Wolter. Elementy logiki. Wykład dla prawników. (Elements of logic. A course for lawyers). Second edition. Mimeographed. Państwowe Wydawnictwo Naukowe, Kraków1951, 310 pp. - Zygmunt Ziembiński. Zbiór zadań z logiki dla studentów prawa (Collection of exercises in logic for students of law). Mimeographed. Państwowe Wydawnictwo Naukowe, Poznań1954, 91 pp. - Zygmunt Ziembiński. Logika praktyczna (Practical logic). Mimeographed. Poznań University, Poznań1956, 214 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 73-74
- Print publication:
- March 1958
-
- Article
- Export citation
Noam Chomsky. Three models for the description of language. Institute of Radio Engineers, Transactions on information theory, vol. IT-2 no. 3 (1956), pp. 113–124.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 71-72
- Print publication:
- March 1958
-
- Article
- Export citation
František Svoboda. Polosamočinný pokusný stroj na analysu a synthesu reléových obvodů (A semiautomatic experimental machine for the analysis and synthesis of relay circuits). Czechic, with summaries in Russian and English. Stroje na zpracováni informaci, vol. 4 (1956), pp. 23–52. - F. Svoboda. Sintéz réléjnyh shém pri pomošči mašin (Automatic synthesis of relay circuits). Russian, with English summary. Avtomatika i téléméhanika, vol. 18 (1957), pp. 240–255.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 61
- Print publication:
- March 1958
-
- Article
- Export citation
Eduardo García Máynez. Lógica del juicio jurídico. Publicaciones de Diánoia. Fondo de Cultura Económica, México and Buenos Aires1955, 197 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 74
- Print publication:
- March 1958
-
- Article
- Export citation
H. P. Grice and P. F. Strawson. In defense of a dogma. The philosophical review, vol. 65 (1956), pp. 141–158.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 70-71
- Print publication:
- March 1958
-
- Article
- Export citation
Karl Dürr. Moderne historische Forschungen im Gebiet der antiken Logik. Studia philosophica (Basel), vol. 13 (1953), pp. 72–98.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 79
- Print publication:
- March 1958
-
- Article
- Export citation
E. W. Beth. Observations métamathématiques sur les structures simplement ordonnées. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris – 25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 29–35. - A. Robinson and E. W. Beth. Discussion. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris – 25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, p. 35.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 34-35
- Print publication:
- March 1958
-
- Article
- Export citation
Walter Brugger. Philosophisch-ontologische Grundlagen der Logistih. Scholastik, vol. 27 (1952), pp. 368–382.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 88
- Print publication:
- March 1958
-
- Article
- Export citation
S. I. Adán. Algoritmičéskaá nérazréšmost' problém raspoznavaniá nékotoryh svojstv grupp (The algorithmic unsolvability of the problem of checking certain properties of groups). Doklady Akadémii Nauk SSSR, vol. 103 (1955), pp. 533–535. - S. I. Adán. Konéčnooprédélénnyé gruppy i algoritmy (Finitely generated groups and algorithms). Uspéhi matématičiskih nauk, vol. 12 no. 3 (1957), pp. 248–249.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 54
- Print publication:
- March 1958
-
- Article
- Export citation
Henryk Greniewski. Elementy logiki indukcji (Elements of the logic of induction). Państwowe Wydawnictwo Naukowe, Warsaw1955, 90 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-78
- Print publication:
- March 1958
-
- Article
- Export citation
M. S. Leavitt. Algebras de Boole e análise de circuitos. Portuguese translation of the foregoing by Maria Pilar Ribeiro. Gazeta de matemática, vol. 14 no. 55 (1953), pp. 4–7. - Jacques Riguet. Sur les rapports entre les concepts de machine de multipole et de structure algébrique. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 237 (1953), pp. 425–427. - Jacques Riguet. Algorithmes de Markov et théorie des machines. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 242 (1956), pp. 435–437.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 62
- Print publication:
- March 1958
-
- Article
- Export citation
Dana Scott. Equationally complete extensions of finite algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 59 (1956), pp. 35–38; also Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 18 (1956), pp. 35–38.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 57
- Print publication:
- March 1958
-
- Article
- Export citation
Henryk Greniewski. Milla kanon zmian towarzysza̧cych (On Mill's method of concomitant variations). Polish, with brief summaries in Russian and English. Studia logica, vol. 5 (1957), pp. 109–127. See Dyskusja (Discussion), Studia logica, vol. 5 (1957), pp. 134–135.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 78-79
- Print publication:
- March 1958
-
- Article
- Export citation