13630 results in The Journal of Symbolic Logic
Hao Wang. Tag systems and lag systems. Mathematische Annalen, vol. 152 (1963), pp. 65–74. - John Cocke and Marvin Minsky. Universality of tag systems with D = 2. Journal of the Association for Computing Machinery, vol. 11 (1964), pp. 15–20. - Stephen A. Cook. The solvability of the derivability problem for one-normal systems. Journal of the Association for Computing Machinery, vol. 13 (1966), pp. 223–225.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 344
- Print publication:
- June 1971
-
- Article
- Export citation
Peter Nidditch. A note on the redundant axiom of Principia mathematica. Mind, n.s. vol. 69 (1960), pp. 251–252.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 332-333
- Print publication:
- June 1971
-
- Article
- Export citation
Albert A. Mullin. On a necessary condition for the validity of Goldbach's conjecture. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 145–148.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 343
- Print publication:
- June 1971
-
- Article
- Export citation
Robert R. Korfhage. Logic and algorithms with applications to the computer and information sciences. John Wiley & Sons, Inc., New York, London, and Sydney, 1966, xii + 194 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 344-346
- Print publication:
- June 1971
-
- Article
- Export citation
On effectively discontinuous type-2 objects
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-248
- Print publication:
- June 1971
-
- Article
- Export citation
Notice of a meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 356
- Print publication:
- June 1971
-
- Article
- Export citation
Mihály Makkai. On PCΔ-classes in the theory of models. English with Russian summary. A Magyar Tudományos Akadémia Matematikai Kutató Intézetének Közleményei, ser. A, vol. 9 no. 1–2 (1964), pp. 159–194. - M. Makkai. Remarks on my paper “On PCΔ-classes in the theory of models.” English with Russian summary. A Magyar Tudományos Akadémia Matematikai Kutató Intézetének Közleményei, ser. A, vol. 9 no. 3 (for 1964, pub. 1965), pp. 601–602.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 335-336
- Print publication:
- June 1971
-
- Article
- Export citation
S. C. Kleene. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. A revised reprint of XIX 62(2). Two papers on the predicate calculus, by S. C. Kleene, Memoirs of the American Mathematical Society, no. 10, lithographed, Providence 1967, pp. 27–66. - W. Craig and R. L. Vaught. Finite axiomatizability using additional predicates. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 289–308.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 334-335
- Print publication:
- June 1971
-
- Article
- Export citation
C. G. McKay. On 'finite logics. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 70 (1967), pp. 363–365; also Indagationes mathematicae, vol. 29 (1967), pp. 363–365.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
- Print publication:
- June 1971
-
- Article
- Export citation
Jerrold J. Katz. The problem of induction and its solution. The University of Chicago Press, Chicago1962, xiii + 125 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 320
- Print publication:
- June 1971
-
- Article
- Export citation
Andrzej Grzegorczyk. A philosophically plausible formal interpretation of intuitionistic logic. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 67 (1964), pp. 596–601; also Indagationes matkematicae, vol. 26 (1964), pp. 596–601.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 329
- Print publication:
- June 1971
-
- Article
- Export citation
On theories categorical in their own power
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 240-244
- Print publication:
- June 1971
-
- Article
- Export citation
Rudolf Carnap. On the use of Hilbert's ε-operator in scientific theories. 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. 156–164.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 320-321
- Print publication:
- June 1971
-
- Article
- Export citation
Decision problems for tag systems
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 229-239
- Print publication:
- June 1971
-
- Article
- Export citation
JSL volume 36 issue 2 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f5
- Print publication:
- June 1971
-
- Article
-
- You have access
- Export citation
Zdeněk Zastávka. Ob algorifmah s eléméntami pomáti (Über Algorithmen mit Speicherelementen). Russisch mit Zusammenfassungen auf Russisch und Tschechoslowakisch. Kybernetika (Prag), Band 4 (1968), S. 201–225.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 346
- Print publication:
- June 1971
-
- Article
- Export citation
Kao Hêng-San. Kuan-yü Łoś ho Suszko “lun mu-hsing ti k'uo-chung (IV)” i wen chih jo-kan hsiu-cheng ho chien-hua (Some corrections and simplifications of Łoś and Suszko's “On the extending of models (IV)”). Shuxue jinzhan (Shu-hsüeh chin chan) (Peking), vol. 6 no. 4 (1963), pp. 388–390.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 339
- Print publication:
- June 1971
-
- Article
- Export citation
Can there be no nonrecursive functions?
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 309-315
- Print publication:
- June 1971
-
- Article
- Export citation
Some theorems on R-maximal sets and major subsets of recursively enumerable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 193-215
- Print publication:
- June 1971
-
- Article
- Export citation
L. P. Belluce. Further results on infinite valued predicate logic. The journal of symbolic logic, vol. 29 (1964), pp. 69–78.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 332
- Print publication:
- June 1971
-
- Article
- Export citation