13630 results in The Journal of Symbolic Logic
Seymour Ginsburg and H. Gordon Rice. Two families of languages related to ALGOL. Journal of the Association for Computing Machinery, vol. 9 (1962), pp. 350–371.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 135
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Partially ordered sets representable by recursively enumerable classes1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 8-12
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Jens Erik Fenstad. On the completeness of some transfinite recursive progressions of axiomatic theories. The journal of symbolic logic, vol. 33 (1968), pp. 69–76.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 131
- Print publication:
- 29 May 1969
-
- Article
- Export citation
H. Jerome Keisler. Finite approximations of infinitely long formulas. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 158–169. - H. Jerome Keisler. Some applications of infinitely long formulas. The journal of symbolic logic, vol. 30 (1965), pp. 339–349.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-130
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Richard M. Martin. A formalization of inductive logic. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 251–256.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 137-138
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Paul Benacerraf and Hilary Putnam. Introduction. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, 1964, pp. 1–27. - Rudolf Carnap. The logicist foundations of mathematics. English translation of 3528 by Erna Putnam and Gerald E. Massey. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, pp. 31–41. - Arend Heyting. The intuitionist foundations of mathematics. English translation of 3856 by Erna Putnam and Gerald E. Massey. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, pp. 42–49. - Johann von Neumann. The formalist foundations of mathematics. English translation of 2998 by Erna Putnam and Gerald E. Massey. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, pp. 50–54. - Arend Heyting. Disputation. A reprint of pages 1-12 (the first chapter) and parts of the bibliography of XXI 367. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, pp. 55–65. - L. E. J. Brouwer. Intuitionism and formalism. A reprint of 1557. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, pp. 66–77. - L. E. J. Brouwer. Consciousness, philosophy, and mathematics. A reprint of pages 1243-1249 of XIV 132. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, pp. 78–84. - Gottlob Frege. The concept of number. English translation of pages 67-104, 115-119, of 495 (1884 edn.) by Michael S. Mahoney. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, pp. 85–112. - Bertrand Russell. Selections from Introduction to mathematical philosophy. A reprint of pages 1-19, 194-206, of 11126 (1st edn., 1919). Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, pp. 113–133. - David Hilbert. On the infinite. English translation of 10813 by Erna Putnam and Gerald E. Massey. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, pp. 134–151.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 107-110
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Motokiti Kondô and Haruo Murata. On proof retrieval: problem-solving machines. I.Proceedings of the Japan Academy, vol. 41 (1965), pp. 254–259. - Motokiti Kondô and Haruo Murata. Standard form in PGO and transformation algorithm: problem-solving machines. II.Proceedings of the Japan Academy, vol. 41 (1965), pp. 355–359. - Motokiti Kondô and Haruo Murata. Transformation of PGO into a calculable expression: problem-solving machines. III.Proceedings of the Japan Academy, vol. 42 (1966), pp. 299–303.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 132-133
- Print publication:
- 29 May 1969
-
- Article
- Export citation
R. H. Thomason and H. Leblanc. All or none: a novel choice of primitives for elementary logic. The journal of symbolic logic, vol. 32 (1967), pp. 345–351.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 124-125
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Raymond M. Smullyan. Elementary formal systems. Journal of the Mathematical Society of Japan, vol. 13 (1961), pp. 38–44.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 117
- Print publication:
- 29 May 1969
-
- Article
- Export citation
John R. Searle. Russell's objections to Frege's theory of sense and reference. Analysis (Oxford), vol. 18 (1958), pp. 137–143.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 142-143
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Eugen Mihăilescu. Forme normale in calcul propoziţiilor bivalente (Formes normales dans le calcul des propositions bivalentes). Roumanian, with Russian and French summaries. Buletin ştiinţific, Secţia de ştiinţe matematice şi fizice, vol. 8 (1956), pp. 297–327. - Eugen Mihăilescu. Recherches sur quelques systèmes du calcul des propositions. French, with Russian and English summaries. Analele Universitáţii C. I. Parkon (Bucharest), Seria Acta logica, vol. 1 (1958), pp. 173–185.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 122
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Predicate calculus with free quantifier variables1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-7
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Diana Brignole and Antonio Monteiro. Caractérisation des algèbres de Nelson par des égalités. Notas de lógica matematica, no. 20, Instituto de Matematica, Universidad Nacional del Sur, Bahia Blanca1964, 14 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 119
- Print publication:
- 29 May 1969
-
- Article
- Export citation
A. Mostowski. A class of models for second order arithmetic. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 7 (1959), pp. 401–404. - A. Mostowski. Formal system of analysis based on an infinitistic rule of proof. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 141–166.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 128-129
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Index sets of finite classes of recursively enumerable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 39-44
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Robert L. Vaught. On a theorem of Cobham concerning undecidable theories. 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, Calif., 1962, pp. 14–25.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 126-127
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Nuel D. BelnapJr., Entailment and relevance. The journal of symbolic logic, vol. 25 no. 2 (for 1960, pub. 1961), pp. 144–146.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 120
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Haskell B. Curry. A theory of formal deducibility. Second edition of XVI 56. Notre Dame mathematical lectures, no. 6. Lithoprinted. University of Notre Dame, Notre Dame, Indiana, 1957, xi + 129 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 113
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Christian Thiel. Sinn und Bedeutung in der Logik Gottlob Freges. Monographien zur philosophischen Forschung begründet von Georgi Schischkoff, Band 43. Verlag Anton Hain, Meisenheim am Glan (1965), viii + 171 S.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 106-107
- Print publication:
- 29 May 1969
-
- Article
- Export citation
G. Kreisel. On weak completeness of intuitionistic predicate logic. The journal of symbolic logic, vol. 27 no. 2 (for 1962, pub. 1963), pp. 139–158.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-120
- Print publication:
- 29 May 1969
-
- Article
- Export citation