36 results
Montgomery Furth. Editor's introduction. The basic laws of arithmetic, Exposition of the system, by Gottlob Frege, translated and edited by Montgomery Furth, University of California Press, Berkeley and Los Angeles1964, pp. v–lvii. - G. Frege. Introduction. English translation of pp. v–xxvi of 4910. The basic laws of arithmetic, Exposition of the system, by Gottlob Frege, translated and edited by Montgomery Furth, University of California Press, Berkeley and Los Angeles1964, pp. 1-25. - Gottlob Frege. Exposition of the Begriffsschrift. English translation of pp. 1–69 of 49/0. The basic laws of arithmetic, Exposition of the system, by Gottlob Frege, translated and edited by Montgomery Furth, University of California Press, Berkeley and Los Angeles1964, pp. 29–119. - Gottlob Frege. Appendix I. Derivation of “⊢ f(a) = a ◠ἐ(ε)”. English translation of parts of §§54, 55, and 91 of 4910. The basic laws of arithmetic, Exposition of the system, by Gottlob Frege, translated and edited by Montgomery Furth, University of California Press, Berkeley and Los Angeles1964, pp. 123–126. - Gottlob Frege. Appendix II. The Russell paradox. English translation of pp. 253–265 of 4916. The basic laws of arithmetic, Exposition of the system, by Gottlob Frege, translated and edited by Montgomery Furth, University of California Press, Berkeley and Los Angeles1964, pp. 127–143. - Montgomery Furth. List of corrections and minor points not otherwise noted. The basic laws of arithmetic, Exposition of the system, by Gottlob Frege, translated and edited by Montgomery Furth, University of California Press, Berkeley and Los Angeles1964, p. 144.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 671-672
- Print publication:
- December 1966
-
- Article
- Export citation
Wilhelm K. Essler. Einführung in die Logik. Alfred Kröner Verlag, Stuttgart1966, 239 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 381-382
- Print publication:
- June 1980
-
- Article
- Export citation
Heinrich Behmann. Der Prädikatenkalkül mil limitierten Variablen. Grundlegung einer naturlichen exakten Logik. The journal of symbolic logic, vol. 24 no. 2 (for 1959, pub. 1960), pp. 112–140. - Heinrich Behmann. Das Russellsche Paradoxon und die formale Logik. Atti del XII Congresso Internazionale di Filosofia (Venezia, 12-18 settembre 1958), Volume quinto, Logica, gnoseologia, filosofia delta scienza, filosofia del linguaggio, Sansoni Editore, Florence 1960, pp. 45–54.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 4 / December 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 583-584
- Print publication:
- December 1975
-
- Article
- Export citation
L. Novak Gál. A note on direct products. The journal of symbolic logic, vol. 23 no. 1 (1958), pp. 1–6.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 541
- Print publication:
- September 1971
-
- Article
- Export citation
Amitabha Ghose. Konstruktive Grundlagen der Logik. Sonne Verlag, New Delhi1966, vi + 40 + 2 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 518
- Print publication:
- February 1968
-
- Article
- Export citation
P. H. Nidditch. Propositional calculus. Monographs in modern logic. Routledge & Kegan Paul, London, and The Free Press of Glencoe, New York, 1962, viii + 83 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 357
- Print publication:
- September 1965
-
- Article
- Export citation
P. H. Nidditch. The development of mathematical logic. Monographs in modern logic. Routledge & Kegan Paul, London, and The Free Press of Glencoe, New York, 1962, viii + 88 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 357
- Print publication:
- September 1965
-
- Article
- Export citation
G. Kreisel and H. Wang. Applications of formalized consistency proofs II. Fundamenta mathematicae, vol. 45 no. 3 (1958), pp. 334–335.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 99
- Print publication:
- March 1965
-
- Article
- Export citation
R. Montague. Semantical closure and non-finite axiomatizability I. 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-Paris, 1961, pp. 45–69.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 1 / March 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 59-60
- Print publication:
- March 1964
-
- Article
- Export citation
Th. Skolem. Reduction of axiom systems with axiom schemes to systems with only simple axioms. Ebd., S. 239–246; auch ebd., S. 443–450.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 232
- Print publication:
- June 1962
-
- Article
- Export citation
H. Arnold Schmidt. Über einige neuere Untersuchungen zur Modalitätenlogik. Deutsch, mit deutschem, französischem und englischem Résumé. Logica, Studia Paul Bernays dedicata, Bibliothèque scientifique 34, Éditions du Griffon, Neuchâtel 1959, S. 204–217; auch Dialectica, Bd. 12 (1958), S. 408–421. - Ein Bericht über Verf.'s XVI 230; Abstract in diesem Journal, Bd. 20, S. 94; Das fundamentale Implikationensystem einer implikativen Modalitätenstrukiur mit idempotenter Möglichkeit(Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 (1956), S. 33–54); Die Gesamtheit der idempotenten implikativen Modalitätenstrukturen (ebd., Bd. 3 H. 1–2 (1957), S. 29–49); und G. Emdes Kriterien für die Herleitbarkeit in Modalitätenstrukturen (ebd., Bd. 3 H. 3–4 (1958), S. 79–111).
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 230
- Print publication:
- June 1962
-
- Article
- Export citation
Georg Kreisel. Hilbert's programme. Englisch, mit englischem und deutschem Résumé. Ebd., S. 142–168; auch ebd., S. 346–372.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 228-229
- Print publication:
- June 1962
-
- Article
- Export citation
Ernst Specker. Dualität. Deutsch, mit deutschem, französischem und englischem Résumé. Ebd., S. 247–261; auch ebd., S. 451–465.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 231
- Print publication:
- June 1962
-
- Article
- Export citation
R. L. Goodstein. On the nature of mathematical systems. Englisch, mit englischem und französischem Résumé. Ebd., S. 92–112; auch ebd., S. 296–316.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 226-227
- Print publication:
- June 1962
-
- Article
- Export citation
Ferdinand Gonseth. Le problème du language et l'ouverture à l′expérience. Logica, Studia Paul Bernays dedicata, Bibliothèque scientifique 34, Éditions du Griffon, Neuchâtel 1959, S. 84–91; auch Dialectica, Bd. 12 (1958), S. 288–295.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 226
- Print publication:
- June 1962
-
- Article
- Export citation
Abraham Robinson. Relative model-completeness and the elimination of quantifiers. Englisch, mit englischem, deutschem und französischem Zusammenfassung. Ebd., S. 190–203; auch ebd., S. 394–407. - Abraham Robinson. Relative model-completeness and the elimination of quantifiers. Eine Abkürzung desselben. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2. Auflage, Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, S. 155–159.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 229-230
- Print publication:
- June 1962
-
- Article
- Export citation
A. Heyting. Blich von der intuitionistischen Warte. Deutsch, mit deutschem, französischem und englischem Résumé. Ebd., S. 128–141; auch edb., S. 332–345.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 227-228
- Print publication:
- June 1962
-
- Article
- Export citation
Kurt Schütte. Aussagenlogische Grundeigenschaften formaler Systeme. Deutsch, mit deutschem, französischem und englischem Résumé. Ebd., S. 218–238, auch ebd., S. 422–442.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 230-231
- Print publication:
- June 1962
-
- Article
- Export citation
Evert W. Beth. “Cogito ergo sum” — raisonnement ou intuition? Französisch, mit französischem, deutschem und englischem Résumé. Ebd., S. 19–31; auch ebd., S. 223–235.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 349-350
- Print publication:
- December 1960
-
- Article
- Export citation
A. Mostowski. On a generalization of quantifiers. Ebd., Bd. 44 (1957), S. 12–36.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 4 / December 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 365-366
- Print publication:
- December 1960
-
- Article
- Export citation