13629 results in The Journal of Symbolic Logic
Stephen Cole Kleene. Introduction to metamathematics. Fourth printing of XIX 215. North-Holland Publishing Co., Amsterdam, P. Noordhoff Ltd., Groningen, and D. Van Nostrand Company, Princeton, Toronto, and New York, 1964, x + 550 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 290-291
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Dana Scott. A symmetric primitive notion for Euclidean geometry. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 59 (1956), pp. 456–461; also Indagationes mathematicae, vol. 18 (1956), pp. 456–461.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 288-289
- Print publication:
- 23 July 1968
-
- Article
- Export citation
G. Asser. Einführung in die mathematische Logik. Teil I. Aussagenkalkül. A reprint of XXV 276. Mathematisch-naturwissenschaftliche Bibliothek, no. 18. B. G. Teubner Verlagsgesellschaft, Leipzig1965, VI + 184 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 304
- Print publication:
- 23 July 1968
-
- Article
- Export citation
A. A. Fridman. Stépéni nérazréšimosti problémy toždéstva v konéčno oprédélénnyh gruppah. Doklady Akadémii Nauk SSSR, vol. 147 (1962), pp. 805–808. - A. A. Fridman. Degrees of insolvability of the word problem in finitely defined groups. English translation of the preceding by Sue Ann Walker. Soviet mathematics, vol. 3 no. 6 (1962), pp. 1733–1737. - C. R. J. Clapham. Finitely presented groups with word problems of arbitrary degrees of insolubility. Proceedings of the London Mathematical Society, ser. 3 vol. 14 (1964), pp. 633–676. - William W. Boone. Finitely presented group whose word problem has the same degree as that of an arbitrarily given Thue system (an application of methods of Britton). Proceedings of the National Academy of Sciences, vol. 53 (1965), pp. 265–269. - William W. Boone. Word problems and recursively enumerable degrees of unsolvability. A first paper on Thue systems. Annals of mathematics, ser. 2 vol. 83 (1966), pp. 520–571. - William W. Boone. Word problems and recursively enumerable degrees of unsolvability. A sequel on finitely presented groups. Annals of mathematics, ser. 2 vol. 84 (1966), pp. 49–84.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 296-297
- Print publication:
- 23 July 1968
-
- Article
- Export citation
W. W. Tait. A nonconstructive proof of Gentzen's Hauptsatz for second order predicate logic. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 980–983.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-290
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Sheila A. Greibach. A note on pushdown store automata and regular systems. Proceedings of the American Mathematical Society, vol. 18 (1967), pp. 263–268.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 302-303
- Print publication:
- 23 July 1968
-
- Article
- Export citation
R. K. Meyer. Pure denumerable Łukasiewiczian implication. The journal of symbolic logic, vol. 31 (1966), pp. 575–580.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 308
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Harald Dickson. Variable, function, derivative. A semantic study in mathematics and economics. Handelshögskolan i Göteborg, Skrifter 1967, no. 1. Akademiförlaget, Göteborg1967, 176 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 284-285
- Print publication:
- 23 July 1968
-
- Article
- Export citation
C. A. Meredith and A. N. Prior. Notes on the axiomatics of the prepositional calculus. Notre Dame journal of formal logic, vol. 4 (1963), pp. 171–187.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 306-307
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Arthur W. Burks. The presupposition theory of induction. Philosophy of science, vol. 20 (1953), pp. 177–197. - Arthur W. Burks. On the presuppositions of induction. The review of metaphysics, vol. 8 no. 4 (1955), pp. 574–611.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 314-316
- Print publication:
- 23 July 1968
-
- Article
- Export citation
John Watling. The problem of contrary-to-fact conditionals. Analysis (Oxford), vol. 17 no. 4 (1957), pp. 73–80. - Alan R. White. Contrary-to-fact conditionals and logical impossibility. Analysis (Oxford), vol. 18 no. 1 (1957), pp. 14–16. - Sidney Gendin and Robert Hoffman. On verifying contrary-to-fact subjunctive conditionals. The Indian journal of philosophy, vol. 3 no. 10 (for 1962, pub. 1964), pp. 282–284. - M. R. Ayers. Counterfactuals and subjunctive conditionals. Mind, n.s. vol. 74 (1965), pp. 347–364.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 310-311
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Reviews - Günther Patzig. Vorwort. Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1962, pp. 3–15; also second, revised, edition, ibid. 1966, pp. 3–15. - Günther Patzig. Vorwort zur 2. Auflage. Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1966, p. 16. - Gottlob Frege. Funktion und Begriff. A reprint of 497. Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1962, pp. 16–37; reprinted ibid. 1966, pp. 17–39, with minor corrections and with Frege's Vorwort included. - Gottlob Frege. Über Sinn und Bedeutung. A reprint of 497. Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1962, pp. 38–63; reprinted with minor corrections ibid. 1966, pp. 40–65. - Gottlob Frege. Über Begriff und Gegenstand. A reprint of 499. Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1962, pp. 64–78; also ibid. 1966, pp. 66–80. - Gottlob Frege. Was ist eine Funktion? A reprint of 4917. Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1962, pp. 79–88; also ibid. 1966, pp. 81–90. - Gottlob Frege. Über die wissenschaftliche Berechtigung einer Begriffsschrift. A reprint of 494. Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1962, pp. 89–95; also ibid. 1966, pp. 91–97. - Günther Patzig. Freges Schriften. Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1962, pp. 96–97; also ibid. 1966, pp. 98–99. - Günther Patzig. Literatur zu Frege.Funktion, Begriff, Bedeutung, Fünf logische Studien, by Gottlob Frege, edited by Günther Patzig, Vandenhoeck & Ruprecht, Göttingen1962, pp. 98–101; reprinted with minor revisions ibid. 1966, pp. 100–103.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 281-282
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Roberto Cignoli. Boolean elements in Lukasiewicz algebras. I. Proceedings of the Japan Academy, t. 41 (1965), p. 670–675.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 307-308
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Franz E. Hohn. Applied Boolean algebra. An elementary introduction. Deuxième édition, revue et augmentée, de XXVII 104. The Macmillan Company, New York, et Collier-Macmillan Limited, Londres, 1966, xiii + 273 p.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 304
- Print publication:
- 23 July 1968
-
- Article
- Export citation
H. Läuchli and J. Leonard. On the elementary theory of linear order. Fundamenta mathematicae, vol. 59 (1966), pp. 109–116.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 287
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Ludovico Geymonat. Analisi critica del recente indirizzo di logica formale del Carnap. Memorie delia R. Accademia delle Scienze di Torino, Part II, Classe di scienze morali, storiche e filologiche, ser. 2 vol. 70 no. 7 (1942), pp. 267–281.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 317
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Dana Scott and Patrick Suppes. Foundational aspects of theories of measurement. The Journal of symbolic logic, vol. 23 no. 2 (for 1958, pub. 1959), pp. 113–128. Reprinted in Readings in mathematical psychology, Volume I, edited by R. Duncan Luce, Robert R. Bush, and Eugene Galanter, John Wiley and Sons, Inc., New York and London 1963, pp. 212–227.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 287-288
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Alfred Tarski. A general theorem concerning primitive notions of Euclidean geometry. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 59 (1956), pp. 468–474; also ibid., pp. 468–474.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 289
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Virgilio Giorgianni. Logica matematica e logica giuridica. Rivista internazionale di filosifia dei diritto, ser. 3 vol. 30 (1953), pp. 462–486.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 312
- Print publication:
- 23 July 1968
-
- Article
- Export citation
Marlow Sholander. Postulates for Boolean algebras. Canadian journal of mathematics (Journal canadien de mathématiques), vol. 5 (1953), pp. 460–464.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 2 / 23 July 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 304
- Print publication:
- 23 July 1968
-
- Article
- Export citation