13629 results in The Journal of Symbolic Logic
JSL volume 31 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1966
-
- Article
-
- You have access
- Export citation
George Boole. Análisis matemático de la lógica. Ensayo de un cálculo del razonamiento deductivo. Spanish translation of 191 and notes, by Armando Asti Vera. Instituto de Filosofía de la Facultad de Humanidades y Ciencias de la Educación, Universidad Nacional de La Plata, La Plata, Argentina, 1960, 152 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 104-105
- Print publication:
- March 1966
-
- Article
- Export citation
Joseph S. Wholey. Persistence and Herbrand expansions. The journal oj symbolic logic, vol. 28 no. 4 (for 1963, pub. 1964), pp. 280–282.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 127
- Print publication:
- March 1966
-
- Article
- Export citation
Günther Patzig. Die Aristotelische Syllogistik. Logisch-philologische Untersuchungen über das Buch A der “Ersten Analytiken.” Abhandlungen der Akademie der Wissenschaften in Göttingen, Philologisch-historische Klasse, ser. 3 no. 42. Vandenhoeck & Ruprecht, Göttingen1959, 207 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 102-104
- Print publication:
- March 1966
-
- Article
- Export citation
Notice Fellowship and Research Opportunities in Mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 157
- Print publication:
- March 1966
-
- Article
- Export citation
J. A. Faris. Quantification theory. Routledge & Kegan Paul, London, and The Free Press of Glencoe, New York, 1964, vii + 147 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 108-109
- Print publication:
- March 1966
-
- Article
- Export citation
J. Słomiński. Theory of models with infinitary operations and relations. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 6 (1958), pp. 449–456.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 131
- Print publication:
- March 1966
-
- Article
- Export citation
Dag Prawitz. An improved proof procedure. Theoria (Lund), vol. 26 (1960), pp. 102–139.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 126-127
- Print publication:
- March 1966
-
- Article
- Export citation
Ú. I. Žuravlév. Ob algoritmahj uproščéniá dizúnktivnyh normal′nyh form. Doklady Akadémii Nauk SSSR, vol. 132 (1960), pp. 260–263. - Yu. I. Žuravlev. On simplification algorithms for disjunctive normal forms. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 1 no. 3 (1960), pp. 526–529.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 141
- Print publication:
- March 1966
-
- Article
- Export citation
Z. Pawlak. New method of parenthesis-free notations of formulae. Bulletin de l'Académie Polonaise des Sciences, Série des sciences techniques, vol. 8 no. 4 (1960), pp. 197–198.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 115
- Print publication:
- March 1966
-
- Article
- Export citation
Hilary Putnam. Uniqueness ordinals in higher constructive number classes. 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, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 190–206.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 135-136
- Print publication:
- March 1966
-
- Article
- Export citation
Dov Tamari. Une contribution aux théories de communication: Machines de Turing et problèmes de mot. Synthese, vol. 9 issue 3 nos. 3–5 (1954), pp. 205–227.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 139-140
- Print publication:
- March 1966
-
- Article
- Export citation
Dag Prawitz, Håkon Prawitz, and Neri Voghera. A mechanical proof procedure and its realization in an electronic computer.Journal of the Association for Computing Machinery, vol. 7 (1960), pp. 102–128.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 126
- Print publication:
- March 1966
-
- Article
- Export citation
R. L. Vaught. Sentences true in all constructive models. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 341–343. - R. L. Vaught. Sentences true in all constructive models. The journal of symbolic logic, vol. 25 no. 1 (for 1960, pub. 1961), pp. 39–53.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 132
- Print publication:
- March 1966
-
- Article
- Export citation
Extensional interpretations of modal logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 23-45
- Print publication:
- March 1966
-
- Article
- Export citation
Martin Davis and Hilary Putnam. A computing procedure for quantification theory. Journal of the Association for Computing Machinery, vol. 7 (1960), pp. 201–215.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 125-126
- Print publication:
- March 1966
-
- Article
- Export citation
A. H. Kruse. A method of modelling the formalism of set theory in axiomatic set theory. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 20–34.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 132-133
- Print publication:
- March 1966
-
- Article
- Export citation
Paul Lorenzen. Metamathematik. B·I-Hochschultaschenbücher, vol. 25. Bibliographisches Institut, Mannheim1962, 173 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 106
- Print publication:
- March 1966
-
- Article
- Export citation
Georg Kreisel. Some concepts concerning formal systems of number theory. Mathematische Zeitschrift, vol. 57 no. 1 (1952), pp. 1–12.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 128
- Print publication:
- March 1966
-
- Article
- Export citation
Nicholas Rescher. Many-sorted quantification. Atti del XII Congresso Internazionale di Filosofia (Venezia, 12–18 settembre 1958), volume quinto, Logica, gnoseologia, filosofia della scienza, filosofia del linguaggio, Sansoni Editore, Florence1960, pp. 447–453.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 123-124
- Print publication:
- March 1966
-
- Article
- Export citation