13629 results in The Journal of Symbolic Logic
John N. Crossley and Kurt Schütte. Non-uniqueness at ω2 in Kleene's O. Archiv für mathematische Logik und Grundlagenforschung, vol. 9 (1966), pp. 95–101. - Peter H. G. Aczel. Paths in Kleene's O. Archiv für mathematische Logik und Grundlagenforschung, vol. 10 (1967), pp. 8–12.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 336
- Print publication:
- June 1970
-
- Article
- Export citation
The Meta-R.E. sets, but not the Π11 sets, can be enumerated without repetition
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 223-229
- Print publication:
- June 1970
-
- Article
- Export citation
Norman Malcolm. Wittgenstein, Ludwig Josef Johann. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 327–340.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 309
- Print publication:
- June 1970
-
- Article
- Export citation
A. J. Ayer. Editor's introduction. Logical positivism, edited by A. J. Ayer, The Free Press, Glencoe, Illinois, 1959, pp. 3–28; also first paperback edition, The Free Press, New York 1966, pp. 3–28. - Bertrand Russell. Logical atomism. A reprint of XXV 333. Logical positivism, edited by A. J. Ayer, The Free Press, Glencoe, Illinois, 1959, pp. 31–50; also ibid., pp. 31–50. - Moritz Schlick. Positivism and realism. A reprint of XVI 67. Logical positivism, edited by A. J. Ayer, The Free Press, Glencoe, Illinois, 1959, pp. 82–107; also ibid., pp. 82–107. - Carl G. Hempel. The empiricist criterion of meaning. A reprint of XVI 293. Logical positivism, edited by A. J. Ayer, The Free Press, Glencoe, Illinois, 1959, pp. 108–129; also ibid., pp. 108–129. - Rudolf Carnap. The old and the new logic. English translation of 3525 by Isaac Levi. Logical positivism, edited by A. J. Ayer, The Free Press, Glencoe, Illinois, 1959, pp. 133–146; also ibid., pp. 133–146. - Hans Hahn. Logic, mathematics and knowledge of nature. English translation of 4193 by Arthur Pap. Logical positivism, edited by A. J. Ayer, The Free Press, Glencoe, Illinois, 1959, pp. 147–161 ; also ibid., pp. 147–161. - Friedrich Waismann. How I see philosophy. A reprint of XXIII 209. Logical positivism, edited by A. J. Ayer, The Free Press, Glencoe, Illinois, 1959, pp. 345–380; also ibid., pp. 345–380.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 312
- Print publication:
- June 1970
-
- Article
- Export citation
Paul Kurtz. American philosophy. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 83–93.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
- Print publication:
- June 1970
-
- Article
- Export citation
Max Black. Craig's theorem. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 249–251.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 304
- Print publication:
- June 1970
-
- Article
- Export citation
G. E. Minc. Teoréma Erbrana dlá isčisléniá prédikatov s ravénstvom i funkcional′nymi simvolami. Doklady Akadémii Nauk SSSR, vol. 169 (1966), pp. 273–275. - G. E. Minc. Herbrand's theorem for the predicate calculus with equality and functional symbols. English translation of the preceding by Leo F. Boron. Soviet mathematics, vol. 7 no. 4 (1966), pp. 911–914.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 325
- Print publication:
- June 1970
-
- Article
- Export citation
Boruch A. Brody. Logical terms, glossary of. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 5, pp. 57–77.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 299
- Print publication:
- June 1970
-
- Article
- Export citation
William P. Alston. Meaning. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 5. 233–241.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 306-307
- Print publication:
- June 1970
-
- Article
- Export citation
A. N. Prior. Negation. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 5, pp. 458–463.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 300
- Print publication:
- June 1970
-
- Article
- Export citation
F. I. Andon. Ob odnom podhodé k minimizacii sistém bulévyh funkcij (On one approach to the minimization of systems of Boolean functions). Kibérnétika (Kiev), no. 5 (1966), pp. 44–48. - F. I. Andon. Algoritm uproščéniá d.n.f. bulévyh funckij (A simplification alogrithm of a disjunctive normal form of the Boolean functions). Kibérnétika (Kiev), no. 6 (1966), pp. 12–14.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
- Print publication:
- June 1970
-
- Article
- Export citation
B. A. Trahténbrot. Složnost algoritmov i vyčíslenij (Spéckurs dlá studéntov NGU)(Complexity of algorithms and computations (Special course for students of the Novosibirsk Government University)). Novosibirskij Gosudarstvénnyj Univérsitét, Novosibirsk1967, 258 pp., mimeographed.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 337-339
- Print publication:
- June 1970
-
- Article
- Export citation
Paul Lorenzen. Einführung in die operative Logik und Mathematik. Second edition of XXII 289, with minor revisions. Die Grundlehren der mathematischen Wissenschaften, vol. 78. Springer-Verlag, Berlin-Heidelberg-New York1969, VIII + 298 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
- Print publication:
- June 1970
-
- Article
- Export citation
Frederic Schick. Confirmation: quantitative aspects. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 187–189.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 298
- Print publication:
- June 1970
-
- Article
- Export citation
G. F. Presley. Quine, Willard Van Orman. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 53–55.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 307-308
- Print publication:
- June 1970
-
- Article
- Export citation
On analytic well-orderings
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 198-204
- Print publication:
- June 1970
-
- Article
- Export citation
D. Hilbert and P. Bernays. Grundlagen der Mathematik I. Second edition of 5071. Springer-Verlag, Berlin, Heidelberg, New York, 1968, XV + 473 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 321-323
- Print publication:
- June 1970
-
- Article
- Export citation
Charles E. Caton. Artificial and natural languages. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 168–171.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
- Print publication:
- June 1970
-
- Article
- Export citation
Ladislav Tondl. Sémantika otázky v problémové situaci (Semantics of the question in the problem-solving situation). Kybernetika (Prague), vol. 4 (1968), pp. 295–317.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 314
- Print publication:
- June 1970
-
- Article
- Export citation
R. Harré. Philosophy of science, history of. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 6, pp. 289–296.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 300
- Print publication:
- June 1970
-
- Article
- Export citation