13629 results in The Journal of Symbolic Logic
C. E. M. Yates. Recursively enumerable degrees and the degrees less than 0(1). Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 264–271.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 589
- Print publication:
- December 1970
-
- Article
- Export citation
Giulio Andreoli. Funzioni simmetriche, involuzioni ed n-adi in un'algebra di Boole. Giornale di matematiche di Battaglini (Naples), vol. 81 no. 2 (1953), pp. 181–198.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 592
- Print publication:
- December 1970
-
- Article
- Export citation
S. C. Kleene. Turing-machine computable functionals of finite types I. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, California, 1962, pp. 38–45. - S. C. Kleene. Turing-machine computable functionals of finite types II. Proceedings of the London Mathematical Society, ser. 3 vol. 12 (1962), pp. 245–258.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 588-589
- Print publication:
- December 1970
-
- Article
- Export citation
M. D. Gladstone. A reduction of the recursion scheme. The journal of symbolic logic, Bd. 32 (für 1967, veröff. 1968), S. 505–508.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 591
- Print publication:
- December 1970
-
- Article
- Export citation
John L. Pollock. Mathematical proof. American philosophical quarterly, vol. 4 (1967), pp. 238–244.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 576
- Print publication:
- December 1970
-
- Article
- Export citation
Chen Chuan Chong. An application of electric circuits in mathematical logic. Majallah Tahunan ‘Ilmu Pasti—Shu Hsiieh Nien K'an—Bulletin of Mathematical Society of Nanyang University (1963), pp. 119–126.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 597
- Print publication:
- December 1970
-
- Article
- Export citation
Reviews - J. L. Austin. The meaning of a word. Philosophical papers by J. L. Austin, edited by J. O. Urmson and G. J. Warnock, Clarendon Press, Oxford1961, pp. 23–43. Reprinted in Philosophy and ordinary language, edited by Charles E. Caton, University of Illinois Press, Urbana 1963, pp. 1–21. - J. L. Ausnn. Truth. A reprint of XXIV 191. Philosophical papers by J. L. Austin, edited by J. O. Urmson and G. J. Warnock, Clarendon Press, Oxford1961, pp. 85–101. - J. L. Austin. Unfair to facts. Philosophical papers by J. L. Austin, edited by J. O. Urmson and G. J. Warnock, Clarendon Press, Oxford1961, pp. 102–122.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 569-571
- Print publication:
- December 1970
-
- Article
- Export citation
An embedding of classical logic in S4
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 529-534
- Print publication:
- December 1970
-
- Article
- Export citation
Index of reviews by subjects
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 654-708
- Print publication:
- December 1970
-
- Article
- Export citation
V. V. Vojtišék. Ob odnom podhodé к klassifikacii bulévyh funkcij (On an approach to the classification of Boolean functions). Diskrétnyj analiz (Novosibirsk), no. 8 (1966), pp. 35–41.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 593
- Print publication:
- December 1970
-
- Article
- Export citation
Nicholas Rescher. Introduction to logic. St. Martin's Press, New York1964, xv + 360 pp. Second printing, ibid. 1964, xv + 360 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 579
- Print publication:
- December 1970
-
- Article
- Export citation
JSL volume 35 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f3
- Print publication:
- December 1970
-
- Article
-
- You have access
- Export citation
O. B. Lupanov. Ob odnom métodé sintéza shém (On a method of circuit synthesis). Izvéstiá vysših učébnyh zavédénij, Radiofizika, no. 1 (1958), pp. 120–140.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 593-594
- Print publication:
- December 1970
-
- Article
- Export citation
Julius Stone. Legal system and lawyers' reasonings. Stanford University Press, Stanford, California, 1964, xxiv + 454 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 578-579
- Print publication:
- December 1970
-
- Article
- Export citation
Akira Nakamura. Yôsô ronri to tati ronri no kankei ni tuite (On the relation between modal logic and many-valued logic). Kagaku kisoron kenkyû (Journal of the Japan Association for Philosophy of Science), vol. 6 no. 1 (1962), pp. 34–40, and vol. 6 no. 4 (1964), pp. 15–20.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 582
- Print publication:
- December 1970
-
- Article
- Export citation
C. L. Hamblin. The modal “probably.”Mind, n.s. vol. 68 (1959), pp. 234–240.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 582-583
- Print publication:
- December 1970
-
- Article
- Export citation
M. I. Kargapolov, Ú. I. Mérzlákov, and V. N. Réméslénnikov. Kourovskaá tétrad’ (néréšénnyé zadači téorii grupp) (Kourovsk exercise book (unsolved problems of group theory)). Third edition, supplemented. Akadémiá Nauk SSSR, Sibirskoé Otdélénié, Institut Matématiki, Novosibirsk1969, 63 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 587
- Print publication:
- December 1970
-
- Article
- Export citation
Many-valued logics of extended Gentzen style II
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 493-528
- Print publication:
- December 1970
-
- Article
- Export citation
Karl Schröter. Über den Zusammenhang der Implikationsaxiomen vollständiger Axiomensysteme des zweiwertigen mit denen des intuitionistischen Aussagenkalküls. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 173–176. - Karl Schröter. Eine Umformung des Heytingschen Axiomensystems für den intuitionistischen Aussagenkalkül. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 (1957), pp. 18–29.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 583
- Print publication:
- December 1970
-
- Article
- Export citation
JSL volume 35 issue 4 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- December 1970
-
- Article
-
- You have access
- Export citation