13629 results in The Journal of Symbolic Logic
John Doner. Tree acceptors and some of their applications. Journal of computer and system sciences, vol. 4 (1970), pp. 406–451.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 619
- Print publication:
- September 1972
-
- Article
- Export citation
Michael O. Rabin. Decidability of second-order theories and automata on infinite trees. Bulletin of the American Mathematical Society, vol. 74 (1968), pp. 1025–1029. - Michael O. Rabin. Decidability of second-order theories and automata on infinite trees. Transactions of the American Mathematical Society, vol. 141 (1969), pp. 1–35.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 618-619
- Print publication:
- September 1972
-
- Article
- Export citation
John Venn. Symbolic logic. Second edition, revised and rewritten. Chelsea Publishing Company, Bronx, N.Y., 1971, xxxviii + 540 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 614-615
- Print publication:
- September 1972
-
- Article
- Export citation
On the undecidability of finite planar cubic graphs1
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 595-597
- Print publication:
- September 1972
-
- Article
- Export citation
Decidability of some intuitionistic predicate theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 579-587
- Print publication:
- September 1972
-
- Article
- Export citation
Robert McNaughton. Testing and generating infinite sequences by a finite automaton. Information and control, vol. 9 (1966), pp. 521–530.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 618
- Print publication:
- September 1972
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 633-640
- Print publication:
- September 1972
-
- Article
- Export citation
M. K. Valiév. Ob odnoj téorémé G. Higmana. Russian original of XXXVII 640(5). Algébra i logika, vol. 7 no. 3 (1968), pp. 9–22. - M. K. Valiév. O složnosti problémy toždéstvá dlá konéčno oprédélénnyh grupp. Russian original of XXXVII 640(6). Algébra i logika, vol. 8 no. 1 (1969), pp. 5–43. - V. A. Trahténbrot. O složnosti algoritmov svédéniá v konstrukciáh Novikova-Buna. Russian original of XXXVII 640. Algébra i logika, pp. 93–128.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 607-609
- Print publication:
- September 1972
-
- Article
- Export citation
Benson Mates. Elementare Logik (Prädikatenlogik der ersten Stufe). German translation of XXXI 483 by Anneliese Oberschelp. Vandenhoeck & Ruprecht, Göttingen1969, 296 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 615-616
- Print publication:
- September 1972
-
- Article
- Export citation
On the inadequacy of inner models
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 569-571
- Print publication:
- September 1972
-
- Article
- Export citation
Ú. V. Matiásévič. Sváz' sistém uravnénij v slovah i dlinah s 10-j problémoj Gllbérta. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, pp. 132–144. - Yu. V. Matiyasevich. The connection between Hilbert's tenth problem and systems of equations between words and lengths. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part. II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London1970, pp. 61–67. See Errata, Studies in constructive mathematics and mathematical logic, Part III, ibid., vol. 16, Consultants Bureau, New York-London 1971, p. 96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 604
- Print publication:
- September 1972
-
- Article
- Export citation
R. E. Stearns, J. Hartmanis, and P. M. LewisII. Hierarchies of memory limited computations. Sixth Annual Symposium on Switching Circuit Theory and Logical Design, University of Michigan, Ann Arbor, Mich., The Institute of Electrical and Electronics Engineers, Inc., New York 1965, pp. 179–190.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 624-625
- Print publication:
- September 1972
-
- Article
- Export citation
Almost strongly minimal theories. I
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 487-493
- Print publication:
- September 1972
-
- Article
- Export citation
Yu. V. Matijasevič. Diophantine representation of recursively enumerable predicates. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris1971, Vol. 1, pp. 235–238.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 606-607
- Print publication:
- September 1972
-
- Article
- Export citation
Fellowship and research opportunities in the mathematical sciences
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 640
- Print publication:
- September 1972
-
- Article
- Export citation
V. I. Kolpakov. Océnka čisla pokrytij n-mérnogo kuba (Estimate of the number of covers of the n-dimensional cube). Diskrétnyj analiz, no. 14 (1969), pp. 16–17.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 627
- Print publication:
- September 1972
-
- Article
- Export citation
An algebraic difference between isols and cosimple isols
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 557-561
- Print publication:
- September 1972
-
- Article
- Export citation
Hu Shih-Hua. Recursive algorithms. Theory of recursive algorithms I. English translation of XXXVII 640(9). Scientia Sinica, vol. 9 (1960), pp. 843–875. Reprinted in Chinese mathematics, vol. 1 (1962), pp. 64–96. - Hu Shih-Hua and Loh Chung-Wan. Kernel functions. Theory of recursive algorithms II. English translation of XXXVII 640(10). Scientia Sinica, vol. 9 (1960), pp. 876–888. Reprinted ibid., pp. 97–109. - Hu Shih-Hua. Normal forms of recursive functions. Theory of recursive algorithms III. English translation of XXXVII 640(11). Scientia Sinica, vol. 9 (1960), pp. 889–896. Reprinted ibid., pp. 110–117.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 612
- Print publication:
- September 1972
-
- Article
- Export citation
Infinitary formulas preserved under unions of models1
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 449-465
- Print publication:
- September 1972
-
- Article
- Export citation
J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Revised report on the algorithmic language ALGOL 60. Numerische Mathematik, vol. 4 (1962–1963), pp. 420–453; also ibid., vol. 6 (1963), pp. 1–17; and The computer journal, vol. 5 no. 4 (1963), pp. 349–367.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 623-624
- Print publication:
- September 1972
-
- Article
- Export citation