13629 results in The Journal of Symbolic Logic
Paul R. Young. An effective operator, continuous but not partial recursive. Proceedings of the American Mathematical Society, vol. 19 (1968), pp. 103–108.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 477-478
- Print publication:
- September 1970
-
- Article
- Export citation
Hugues Leblanc. A simplified account of validity and implication for quantificational logic. The journal of symbolic logic, vol. 33 (1968), pp. 231–235.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 466-467
- Print publication:
- September 1970
-
- Article
- Export citation
A. H. Lachlan. Some notions of reducibility and productiveness. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 17–44.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 478
- Print publication:
- September 1970
-
- Article
- Export citation
E. J. McCluskeyJr., and H. Schorr. Essential multiple-output prime implicants. Proceedings of the Symposium on Mathematical Theory of Automata, New York, N.Y., April 24, 25, 26, 1962, Microwave Research Institute Symposia series vol. 12, Polytechnic Press of the Polytechnic Institute of Brooklyn, Brooklyn, N.Y., 1963, pp. 437–457.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 483
- Print publication:
- September 1970
-
- Article
- Export citation
Richard T. Garner and Bernard Rosen. A systematic introduction to normative ethics and meta-ethics. The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1967, xiv + 367 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 459
- Print publication:
- September 1970
-
- Article
- Export citation
Kiyoshi Iséki. An algebra related with a propositional calculus. Proceedings of the Japan Academy, vol. 42 (1966), pp. 26–29. - Yoshinari Arai, Kiyoshi Iséki, and Shôtarô Tanaka. Characterizations of BCI, BCK-algebras. Proceedings of the Japan Academy, vol. 42 (1966), pp. 105–107. - Kiyoshi Iséki. Algebraic formulation of propositional calculi with general detachment rule. Proceedings of the Japan Academy, vol. 43 (1967), pp. 31–34.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 465-466
- Print publication:
- September 1970
-
- Article
- Export citation
Ladislav Rieger. Zu den Strukturen der klassischen Prädikatenlogik. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 121–138. - Ladislav Rieger. Algebraic methods of mathematical logic. Translated from the Czech by Michal Basch. Academia Publishing House of the Czechoslovak Academy of Sciences, Prague, and Academic Press, New York and London, 1967, 210 pp. - M. Katětov. Preface. Therein, pp. 5–6.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 440-441
- Print publication:
- September 1970
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 484-489
- Print publication:
- September 1970
-
- Article
- Export citation
E. G. K. Lopez-Escobar. A complete, infinitary axiomatization of weak second-order logic. Fundamenta mathematicae, vol. 61 (1967), pp. 93–103.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 467
- Print publication:
- September 1970
-
- Article
- Export citation
Jaakko Hintikka. Towards a theory of inductive generalization. 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. 274–288.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 454
- Print publication:
- September 1970
-
- Article
- Export citation
Haskell B. Curry. Basic verifiability in the combinatory theory of restricted generality. 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, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 165–189.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 469-470
- Print publication:
- September 1970
-
- Article
- Export citation
R. B. Jensen. Concrete models of set theory. 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. 44–74.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 472-473
- Print publication:
- September 1970
-
- Article
- Export citation
G. S. Céjtin. Odin sposob izložéniá téorii algorifmov i péréčislimyh množéstv (Eine Darstellungsweise der Theorie der Algorithmen und der rekursiv aufzählbaren Mengen). Problémy konstruktivnogo napravléniá v matématiké, 3, Sbornik rabot, hrsg. von N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, Heft 72, Izdatél′stvo “Nauka,” Moskau und Leningrad1964, S. 69–98.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 478-479
- Print publication:
- September 1970
-
- Article
- Export citation
Robert Faure with the collaboration of Nicole-Sylvie Guillot LeGarff and Manue Bloch. Eléments de la recherche opérationnelle. Exposé succinct des méthodes, enrichi de 50 exercices et problèmes, presque tous résolus, et de 10 programmes en langage symbolique. Gauthier-Villars, Paris1968, 317 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 483
- Print publication:
- September 1970
-
- Article
- Export citation
Reviews - Stephen Cole Kleene. Mathematical logic. John Wiley & Sons, Inc., New York, London, and Sydney, 1967, xiii + 398 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 438-440
- Print publication:
- September 1970
-
- Article
- Export citation
G. H. Matthews. Discontinuity and asymmetry in phrase structure grammars. Information and control, vol. 6 (1963), pp. 137–146. - G. H. Matthews. A note on asymmetry in phrase structure grammars. Information and control, vol. 7 (1964), pp. 360–365.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 470
- Print publication:
- September 1970
-
- Article
- Export citation
Rosaria Egidi. Ontologia e conoscenza matematica. Un saggio su Gottlob Frege. Publicazioni dell'Istituto di Filosofia dell'Università di Roma, no. X. G. C. Sansoni Editore, Florence1963, 274 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 446-447
- Print publication:
- September 1970
-
- Article
- Export citation
Marguerite H. Foster and Michael L. Martin. General introduction. Probability, confirmation, and simplicity. Readings in the philosophy of inductive logic. Edited by Marguerite H. Foster and Michael L. Martin. The Odyssey Press Inc., New York1966, pp. 1–13. - Marguerite H. Foster and Michael L. Martin. The meaning of probability. Introduction. Probability, confirmation, and simplicity. Readings in the philosophy of inductive logic. Edited by Marguerite H. Foster and Michael L. Martin. The Odyssey Press Inc., New York1966, pp. 17–26. - Rudolf Carnap. On inductive logic. A reprint of XI19. Probability, confirmation, and simplicity. Readings in the philosophy of inductive logic. Edited by Marguerite H. Foster and Michael L. Martin. The Odyssey Press Inc., New York1966, pp. 35–61. - Stephen F. Barker. Enumerative induction. A reprint of pp. 82–90 of XXVII 122. Probability, confirmation, and simplicity. Readings in the philosophy of inductive logic. Edited by Marguerite H. Foster and Michael L. Martin. The Odyssey Press Inc., New York1966, pp. 61–66. - Alfred J. Ayer. The conception of probability as a logical relation. A reprint of XXXI 145. Probability, confirmation, and simplicity. Readings in the philosophy of inductive logic. Edited by Marguerite H. Foster and Michael L. Martin. The Odyssey Press Inc., New York1966, pp. 67–73. - John W. Lenz. Carnap on defining “degree of confirmation. “Probability, confirmation, and simplicity. Readings in the philosophy of inductive logic. Edited by Marguerite H. Foster and Michael L. Martin. The Odyssey Press Inc., New York1966, pp. 73–79. (Reprinted from Philosophy of science, vol. 23 (1956), pp. 230–236.) - Hans Reichenbach. The frequency interpretation. A reprint of pp. 68–69, 372–383, and 434–442 of XVI 48. Probability, confirmation, and simplicity. Readings in the philosophy of inductive logic. Edited by Marguerite H. Foster and Michael L. Martin. The Odyssey Press Inc., New York1966, pp. 80–99. - Marguerite H. Foster and Michael L. Martin. Problems of confirmation theory. Introduction. Probability, confirmation, and simplicity. Readings in the philosophy of inductive logic. Edited by Marguerite H. Foster and Michael L. Martin. The Odyssey Press Inc., New York1966, pp. 131–137. - Rudolf Carnap. Truth and confirmation. A reprint of XVII 139. Probability, confirmation, and simplicity. Readings in the philosophy of inductive logic. Edited by Marguerite H. Foster and Michael L. Martin. The Odyssey Press Inc., New York1966, pp. 137–144. - Carl G. Hempel. Studies in the logic of confirmation. A reprint of X 104. Probability, confirmation, and simplicity. Readings in the philosophy of inductive logic. Edited by Marguerite H. Foster and Michael L. Martin. The Odyssey Press Inc., New York1966, pp. 145–183.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 451-454
- Print publication:
- September 1970
-
- Article
- Export citation
Michael Arbib. Turing machines, finite automata and neural nets. Journal of the Association for Computing Machinery, vol. 8 (1961), pp. 467–475.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 482
- Print publication:
- September 1970
-
- Article
- Export citation
Wolfram Schwabhäuser. Metamathematical methods in foundations of geometry. 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. 152–165.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 474
- Print publication:
- September 1970
-
- Article
- Export citation