13629 results in The Journal of Symbolic Logic
Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. v-vi
- Print publication:
- September 1962
-
- Article
- Export citation
Simon Kochen. Ultraproducts in the theory of models. Annals of mathematics, ser. 2 vol. 74 no. 2 (1961), pp. 221–261.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 355-357
- Print publication:
- September 1962
-
- Article
- Export citation
Günter Asser (Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 20–27) has meanwhile gone farther and shown, inter alia, the equivalence of Kalužnin's graph-schematic algorithm concept with Asser's functional-algorithm concept.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 364
- Print publication:
- September 1962
-
- Article
- Export citation
Gr. C. Moisil. Sur la logique à trois valeurs de Łukasiewicz. Analale Universitaţii Bucureşti, seria Acta logica, vol. 5 (1962), pp. 103–117.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 368
- Print publication:
- September 1962
-
- Article
- Export citation
L. A. Kalužnin. Ob algoritmizacii matématičéskih zadač (On algorithmization of mathematical problems). Problémy kibérnétiki, vol. 2 (1959), pp. 51–67.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 363-364
- Print publication:
- September 1962
-
- Article
- Export citation
András Ádám. Kétpólusú elektromos hálózatokról (Über zweipolige elektrische Netze). Hungarian with Russian and German summaries. A Magyar Tudományos Akadémia Matematikai Kutató Intézetének Közleményei (Publications of the Mathematical Institute of the Hungarian Academy of Sciences), vol. 2 (1957), pp. 211–218, and vol. 3 (1958), pp. 67–79, 207–218, and vol. 4 (1959), pp. 183–190.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 366-367
- Print publication:
- September 1962
-
- Article
- Export citation
György Pollák. Megjegyzés Ádám András “Kétpólusú elektromos hálózatokról, II.” cimü dolgozatához (Bemerkung zur Arbeit “Über zweipolige elektrische Netze, II.” von A. Adám). Hungarian, with Russian and German summaries. A Magyar Tudományos Akadémia Matematikai Kutató Intézetének Közleményei (Publications of the Mathematical Institute of the Hungarian Academy of Sciences), vol. 3 (1958), pp. 81–82.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 367
- Print publication:
- September 1962
-
- Article
- Export citation
N. V. Bélákin. Univérsal′nost′ vyčéslitél′noj mašiny s poténcial′no béskonéčnoj vnéšnéj památ′ú (The universality of a computing machine with potentially infinite exterior memory). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1961), pp. 77–86.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 366
- Print publication:
- September 1962
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 368-372
- Print publication:
- September 1962
-
- Article
- Export citation
H. Jerome Keisler. Ultraproducts and elementary classes. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 63 (1961), pp. 477–495; also Indagationes mathematicae, vol. 23 (1961), pp. 477–495.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 357-358
- Print publication:
- September 1962
-
- Article
- Export citation
Early history of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 255-258
- Print publication:
- September 1962
-
- Article
- Export citation
Ú. I. Ánov. O logičéskih shémah algoritmov (On logical schemata of algorithms). Problémy kibérnétiki, vol. 1 (1958), pp. 75–127.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 362-363
- Print publication:
- September 1962
-
- Article
- Export citation
A propositional logic with subjunctive conditionals
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 327-343
- Print publication:
- September 1962
-
- Article
- Export citation
JSL volume 27 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f8
- Print publication:
- September 1962
-
- Article
-
- You have access
- Export citation
Gr. C. Moisil. Sur les idéaux des algèbres Łukasiewicziennes trivalents. Analele Universităţii “C. I. Parhon”, seria Acta logica, vol. 3 (1960), pp. 83–95.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 367-368
- Print publication:
- September 1962
-
- Article
- Export citation
An improved prenex normal form1
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 317-326
- Print publication:
- September 1962
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Leeds 1962
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 373-382
- Print publication:
- September 1962
-
- Article
- Export citation
V. S. Korolúk. O ponátii adrésnogo algoritma (On the concept of address algorithm). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1960), pp. 95–110.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 366
- Print publication:
- September 1962
-
- Article
- Export citation
S. C. Kleene. Countable functionals. Constructivity in mathematics, Proceedings of the Colloquium held at Amsterdam, 1957, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 81–100. - S. C. Kleene. Recursive functionals of higher finite types. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton1960, pp. 148–154.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 359-360
- Print publication:
- September 1962
-
- Article
- Export citation
N. M. Nagornyj. Nékotoryé obobščénia ponátiá normaľnogo algorifma, (Some generalizations of the concept of normal algorithm). Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin. Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 52, Izdatéľstvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 7–65.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 3 / September 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 360-362
- Print publication:
- September 1962
-
- Article
- Export citation