18 results
Meeting of the Association for Symbolic Logic Jerusalem, Israel, 1975
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 1 / March 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 140-142
- Print publication:
- March 1977
-
- Article
- Export citation
Gisbert Hasenjaeger. Einführung in die Grundbegriffe und Probleme der modernen Logik. Studium universale. Verlag Karl Alber, Freiburg and Munich 1962, 202 pp. - G. Hasenjaeger. Introduction to the basic concepts and problems of modern logic. A slightly revised English translation of the preceding by E. C. M. Mays. D. Reidel Publishing Company, Dordrecht, Holland, and Humanities Press, New York, 1972, 180 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 627-628
- Print publication:
- December 1975
-
- Article
- Export citation
Ulrich Klug. Juristische Logik. Third, expanded and revised, edition of XVII 274. Springer-Verlag, Berlin, Heidelberg, and New York, 1966, XV + 191 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 545
- Print publication:
- September 1971
-
- Article
- Export citation
Karl Schröter. Theorie des logischen Schlieβens, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 37–86, and vol. 4 (1958), pp. 10–65.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 418
- Print publication:
- 09 October 1967
-
- Article
- Export citation
P. S. Novikov. Elements of mathematical logic. English translation of XXX 356 by Leo F. Boron, with a preface and notes by R. L. Goodstein. Oliver & Boyd, Edinburgh and London, and Addison-Wesley Publishing Company, Inc., Reading, Mass., Palo Alto, and London, 1964, xi + 296 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 672
- Print publication:
- December 1966
-
- Article
- Export citation
Reviews - Charles Parsons. The co-consistency of ramified analysis. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 nos. 1–2 (1962), pp. 30–34.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 98
- 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
Charles Parsons. The ω-consistency of ramified analysis. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 nos. 1–2 (1962), pp. 30–34.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 94
- Print publication:
- March 1965
-
- Article
- Export citation
Karel Louis de Bouvère. A method in proofs of undefinability, with applications to functions in the arithmetic of natural numbers. Dissertation Amsterdam 1959. North-Holland Publishing Company, Amsterdam1959, XV + 64 pp. - Karel Louis de Bouvère. Stellingen. Leaflet distributed with the foregoing, 4 pp. unnumbered.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 3 / September 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-273
- Print publication:
- September 1960
-
- Article
- Export citation
P. C. Rosenbloom. Konstruktive Ăquivalente für Sätze aus der klassischen AnalysisActes du Deuxième Congrès International de l'Union Internationale de Philosophie des Sciences, Zurich 1954, II Physique, mathématiques, pp. 135–137.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 238
- Print publication:
- September 1959
-
- Article
- Export citation
Richard I. Aaron. The rational and the empirical. Contemporary British philosophy, Third series, edited by H. D. Lewis, George Allen & Unwin, London1956, and The Macmillan Company, New York 1956, pp. 3–20.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 209
- Print publication:
- June 1958
-
- Article
- Export citation
F. Waismann. How I see philosophy. Contemporary British philosophy, Third series, edited by H. D. Lewis, George Allen & Unwin, London1956, and The Macmillan Company, New York 1956, pp. 447–490. - William Kneale. The province of logic. Contemporary British philosophy, Third series, edited by H. D. Lewis, George Allen & Unwin, London1956, and The Macmillan Company, New York 1956, pp. 237–262.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 2 / June 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 209-210
- Print publication:
- June 1958
-
- Article
- Export citation
Paul Lorenzen. Die Fiktion der Überabzählbarkeit. Proceedings of the International Congress of Mathematicians 1954, Amsterdam September 2-September 9, Volume III, Erven P. Noordhoff N.V., Groningen1956, and North-Holland Publishing Co., Amsterdam 1956, pp. 273–279.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 368-369
- Print publication:
- December 1957
-
- Article
- Export citation
Yosihisa Izumi. Remarques sur la notion de la perfection. Tóhoku mathematical journal, ser. 2 vol. 4 (1952), pp. 252–256. - Yosihisa Izumi. Über den Begriff der ω-Vollständigkeit. Tóhoku mathematical journal, ser. 2 vol. 4 (1952), pp. 314–315. - Yosihisa Izumi. Sur les formes normales. Tóhoku mathematical journal, ser. 2 vol. 6 (1954), pp. 26–29.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 296-297
- Print publication:
- September 1957
-
- Article
- Export citation
Hao Wang. On formalization. Mind, n.s. vol. 64 (1955), pp. 226–238.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 292
- Print publication:
- September 1957
-
- Article
- Export citation
Hao Wang. The formalization of mathematics. The journal of symbolic logic, vol. 19 (1954), pp. 241–266.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 290-292
- Print publication:
- September 1957
-
- Article
- Export citation
John Myhill. Arithmetic with creative definitions by induction. The journal of symbolic logic, vol. 18 (1953), pp. 115–118.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 303-304
- Print publication:
- September 1957
-
- Article
- Export citation
Yuting Shen. Paradox of the class of all grounded classes. The journal of symbolic logic, vol. 18 (1953), p. 114. - Robert L. Stanley. Note on a paradox. The journal of symbolic logic, vol. 18 (1953), p. 233.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 84
- Print publication:
- March 1955
-
- Article
- Export citation