13629 results in The Journal of Symbolic Logic
Don C. Ferguson. Infinite products of recursive equivalence types. The Journal of symbolic logic, vol. 33 (1968), pp. 221–230.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 590
- Print publication:
- December 1970
-
- Article
- Export citation
Eugen Mihăilescu. Sur les proprietés de l'implication par rapport à l'équivalence et la disjonction. Analele Universitătii Bucureşti, seria Acta logica, vol. 5 (1962), pp. 119–134.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 584
- Print publication:
- December 1970
-
- Article
- Export citation
S. Summersbee and A. Walters. Programming the functions of formal logic, II (Multivalued logics). Notre Dame journal of formal logic, vol. 4 no. 4 (for 1963, pub. 1964), pp. 293–305.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 596-597
- Print publication:
- December 1970
-
- Article
- Export citation
J. F. Staal. Negation and the law of contradiction in Indian thought: a comparative study. Bulletin of the School of Oriental and African Studies, University of London, vol. 25 part 1 (1962), pp. 52–71.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 575
- Print publication:
- December 1970
-
- Article
- Export citation
Table of contents
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. iii-iv
- Print publication:
- December 1970
-
- Article
- Export citation
Kiyosra Iséki. Kigô ronrigaku (meidai ronri) (Symbolic logic (propositional logic)). Maki Shoten, Tokyo1968, 303 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 580-581
- Print publication:
- December 1970
-
- Article
- Export citation
Henry W. JohnstoneJr., and Robert Price. Axioms for the implicational calculus with one variable. Theoria (Lund), vol. 30 (1964), pp. 1–4.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 584
- Print publication:
- December 1970
-
- Article
- Export citation
J. F. Staal. The theory of definition in Indian logic. Journal of the American Oriental Society, vol. 81 (1961), pp. 122–126.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 573-574
- Print publication:
- December 1970
-
- Article
- Export citation
James R. Slagle. Automatic theorem proving with renamable and semantic resolution. Journal of the Association for Computing Machinery, vol. 14 (1967), pp. 687–697.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 595-596
- Print publication:
- December 1970
-
- Article
- Export citation
Henry W. JohnstoneJr., A definition of conjunction in the pure implicational calculus with one variable. Logique et analyse, n.s. vol. 9 (1966), pp. 310–312.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 584
- Print publication:
- December 1970
-
- Article
- Export citation
H. Jerome Keisler. A survey of ultraproducts. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 112–126.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 585
- Print publication:
- December 1970
-
- Article
- Export citation
Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. v
- Print publication:
- December 1970
-
- Article
- Export citation
E. G. K. Lopez-Escobar. On a theorem of J. I. Malitz. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 15 (1967), pp. 739–743.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 586
- Print publication:
- December 1970
-
- Article
- Export citation
R. V. Fréjvald. Funkcional′naá polnota dlá né vsúdu oprédélénnyh funkcij algébry logiki (Functional completeness for incompletely specified logic functions). Diskrétnyj analiz (Novosibirsk), no. 8 (1966), pp. 55–68.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 592-593
- Print publication:
- December 1970
-
- Article
- Export citation
B. V. Birúkov. Krušénié métafizičéskoj koncépcii universal′ nosti prédmétnoj oblasti v logiké (The downfall of the metaphysical conception of the universality of object domains in logic). Gosudarstvénnoé Izdatél′stvo “Vysšaá Škola,”Moscow1963, 75 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 571-572
- Print publication:
- December 1970
-
- Article
- Export citation
Paul J. Cohen. Set theory and the continuum hypothesis. W. A. Benjamin, Inc., New York and Amsterdam1966, vi + 154 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 591-592
- Print publication:
- December 1970
-
- Article
- Export citation
Rolf Schock. A simple version of the generalized continuum hypothesis. Notre Dame journal of formal logic, vol. 7 no. 3 (1966), pp. 287–288.
-
- 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
Nicholas Rescher. A probabilistic approach to modal logic. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki1963, pp. 215–226.
-
- 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
J. F. Staal. Contraposition in Indian logic. 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. 634–649.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 574-575
- Print publication:
- December 1970
-
- Article
- Export citation
A. Ehrenfeucht and A. Mostowski. A compact space of models of first order theories. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 (1961), pp. 369–373.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 4 / December 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 586-587
- Print publication:
- December 1970
-
- Article
- Export citation