13629 results in The Journal of Symbolic Logic
Shih-Chao Liu. On many-one degrees. The journal of symbolic logic, vol. 28 no. 2 (for 1963, pub. 1964), pp. 143–153.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 512-513
- Print publication:
- 02 September 1966
-
- Article
- Export citation
A. A. Lápunov. Matématičéskié isslédovaniá, svázannyé s ekspluataciéj eléktronnyh vyčislitél′nyh mašin (Mathematical investigations connected with the operation of electronic computing machines). Matematika v SSSR za sorok lét 1917–1957, vol. 1, Obzornyé stat′i, Gosudarstvénnoé Izdatél′stvo Fiziko-matématičéskoj Literatury, Moscow1959, pp. 857–877.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 516
- Print publication:
- 02 September 1966
-
- Article
- Export citation
John Alan Robinson. On automatic deduction. Rice University studies, vol. 50 no. 1 (1964), pp. 69–89.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 516
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Trees and nest structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 303-321
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Z. A. Melzak. An informal arithmetical approach to computability and computation. Canadian mathematical bulletin (Bulletin canadien de mathématiques), vol. 4 (1961), pp. 279–293. - Joachim Lambek. How to program an infinite abacus. Canadian mathematical bulletin (Bulletin canadien de mathématiques), vol. 4 (1961), pp. 295–302.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 514
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Roy Dubisch. Lattices to logic. Blaisdell Publishing Company, New York, Toronto, London, 1964, vii + 88 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 494
- Print publication:
- 02 September 1966
-
- Article
- Export citation
C. Ryll-Nardzewski. On the categoricity in power . Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 7 (1959), pp. 545–548.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 505
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 325-358
- Print publication:
- 02 September 1966
-
- Article
- Export citation
J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the Association for Computing Machinery, vol. 12 (1965), pp. 23–41.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 515-516
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Herbert Meschkowski. Wandlungen des mathematischen Denkens. Eine Einführung in die Grundlagenprobleme der Mathematik. Third, revised, edition of XXII 84. Friedr. Vieweg & Sohn, Braunschweig1964, vii + 141 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 494
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Federico M. Sioson. Further axiomatizations of the Łukasiewicz three-valued calculus. Notre Dame journal of formal logic, vol. 5 no. 1 (1964), pp. 62–70.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 500-501
- Print publication:
- 02 September 1966
-
- Article
- Export citation
M. R. Krom. Separation principles in the hierarchy theory of pure first-order logic. The journal of symbolic logic, vol. 28 no. 3 (for 1963, pub. 1964), pp. 222–236.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 503-504
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Hierarchies of Computable groups and the word problem1
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 376-392
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Donald Monk. On representable relation algebras. The Michigan mathematical journal, vol. 11 (1964), pp. 207–210.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 508
- Print publication:
- 02 September 1966
-
- Article
- Export citation
László Kalmár. A new principle of construction of logical machines. 2e Congrès International de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur 1960, pp. 458–463.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 516
- Print publication:
- 02 September 1966
-
- Article
- Export citation
N. L. Wilson. The indestructibility and immutability of substances. Philosophical studies (Minneapolis), vol. 7 (1956), pp. 46–48.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 497-498
- Print publication:
- 02 September 1966
-
- Article
- Export citation
T. Frayne, A. C. Morel, and D. S. Scott. Reduced direct products. Fundamenta mathematicae, vol. 51 (1962), pp. 195–228. (See Correction, ibid., vol. 53 no. 1 (1963), p. 117.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 506-507
- Print publication:
- 02 September 1966
-
- Article
- Export citation
G. Kreisel, J. Shoenfield, and Hao Wang. Number theoretic concepts and recursive well-orderings. Archiv für mathematische Logik und Grundlagenforschung, vol. 5 (1959), pp. 42–64.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 511-512
- Print publication:
- 02 September 1966
-
- Article
- Export citation
H. Gelernter. A note on syntactic symmetry and the manipulation of formal systems by machine. Information and control, vol. 2 (1959), pp. 80–89.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 514
- Print publication:
- 02 September 1966
-
- Article
- Export citation
A generalisation of productive set
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 455-459
- Print publication:
- 02 September 1966
-
- Article
- Export citation