Contents
Reviews
Walter Taylor. Appendix 4. Equational logic. Therein, pp. 378–400.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 451
-
- Article
- Export citation
Meeting Report
Australasian annual conference, New South Wales, Australia, 1980
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 717-718
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 951-952
-
- Article
- Export citation
Reviews
Carlo Cellucci. Teoria delta dimostrazione. Normalizzazioni e assegnazioni di numeri ordinali. Testi e manuali della scienza contemporanea, serie di logica matematica. Boringhieri, Torino1978, 315 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 220-221
-
- Article
- Export citation
Front matter
JSL volume 47 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 719-720
-
- Article
- Export citation
Reviews
Robert W. Quackenbush. Appendix 5. Primality: the influence of Boolean algebras in universal algebra. Therein, pp. 401–416.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 451
-
- Article
- Export citation
Harry R. Lewis. Unsolvable classes of quantificational formulas. Advanced book program. Addison-Wesley Publishing Company, Reading, Mass., 1979, xv + 198 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 221-222
-
- Article
- Export citation
Günter H. Wenzel. Appendix 6. Equational compactness. Therein, pp. 417–447.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 451
-
- Article
- Export citation
Front matter
JSL volume 47 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Reviews
Greg Cherlin. Model theoretic algebra. Selected topics. Lecture notes in mathematics, Bd. 521. Springer-Verlag, Berlin, Heidelberg, und New York, 1976, IV + 234 S.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 222-223
-
- Article
- Export citation
Back matter
JSL volume 47 issue 4 Cover and Back matter and errata
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b7
-
- Article
-
- You have access
- Export citation
Reviews
G. Grätzer and W. A. Lampe. Appendix 7. The independence proof. Therein, pp. 448–474.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 451
-
- Article
- Export citation
Charles S. Chihara. Ontology and the vicious-circle principle. Cornell University Press, Ithaca and London1973, xvi + 260 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 223-225
-
- Article
- Export citation
Back matter
JSL volume 47 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
-
- Article
-
- You have access
- Export citation
Reviews
Mark Steiner. Mathematical knowledge. Contemporary philosophy. Cornell University Press, Ithaca and London1975, 164 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-226
-
- Article
- Export citation
Burton Dreben and Warren D. Goldfarb. The decision problem. Solvable classes of quantificational formulas. Advanced Book Program. Addison-Wesley Publishing Company, Reading, Mass., 1979, xii + 271 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 452-453
-
- Article
- Export citation
David Harel. First-order dynamic logic. Lecture notes in computer science, vol. 68. Springer-Verlag, Berlin, Heidelberg, and New York, 1979, X + 133 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 453-454
-
- Article
- Export citation
Matthias Schirn. Einige Bemerkungen zum Zusammenhang von Logik, Mathematik und Sprachphilosophie bei Frege. Studicn zu Frege, Volume I, Logik und Philosophie der Mathematik (Studies on Frege, Volume I, Logic and philosophy of mathematics), edited by Matthias Schirn, Problemata, no. 42, Frommann-Holzboog, Stuttgart and Bad Cannstatt1976, pp. 13–26. - Hans D. Sluga. Frege as a rationalist. Studicn zu Frege, Volume I, Logik und Philosophie der Mathematik (Studies on Frege, Volume I, Logic and philosophy of mathematics), edited by Matthias Schirn, Problemata, no. 42, Frommann-Holzboog, Stuttgart and Bad Cannstatt1976, pp. 27–47. - Albert Veraart. Geschichte des wissenschaftlichen Nachlasses Gottlob Freges und seiner Edition. Mit einem Katalog des urspriinglichen Bestands der nachgelassenen Schriften Freges. Studicn zu Frege, Volume I, Logik und Philosophie der Mathematik (Studies on Frege, Volume I, Logic and philosophy of mathematics), edited by Matthias Schirn, Problemata, no. 42, Frommann-Holzboog, Stuttgart and Bad Cannstatt1976, pp. 49–106. - Victor H. Dudman. From Boole to Frege. Studicn zu Frege, Volume I, Logik und Philosophie der Mathematik (Studies on Frege, Volume I, Logic and philosophy of mathematics), edited by Matthias Schirn, Problemata, no. 42, Frommann-Holzboog, Stuttgart and Bad Cannstatt1976, pp. 109–138. - Robert Sternfeld. The logistic thesis. Studicn zu Frege, Volume I, Logik und Philosophie der Mathematik (Studies on Frege, Volume I, Logic and philosophy of mathematics), edited by Matthias Schirn, Problemata, no. 42, Frommann-Holzboog, Stuttgart and Bad Cannstatt1976, pp. 139–160. - Michael D. Resnik. Die Frege–Hilbert Kontroverse. Studicn zu Frege, Volume I, Logik und Philosophie der Mathematik (Studies on Frege, Volume I, Logic and philosophy of mathematics), edited by Matthias Schirn, Problemata, no. 42, Frommann-Holzboog, Stuttgart and Bad Cannstatt1976, pp. 193–213. (German translation by Matthias Schirn of The Frege–Hilbert controversy, Philosophy andphenomenological research, vol. 34 no. 3 (1974), pp. 386–403.) - Friedrich Kambartel. Frege und die axiomatische Methode. Zur Kritik mathematikhistorischer Legitimationsversuche der formalistischen Ideologie. A reprint of XLIV 119. (German translation by Matthias Schirn of The Frege–Hilbert controversy, Philosophy andphenomenological research, vol. 34 no. 3 (1974), pp. 215–228. - Michael Dummett. Frege on the consistency of mathematical theories. Frege und die axiomatische Methode. Zur Kritik mathematikhistorischer Legitimationsversuche der formalistischen Ideologie. A reprint of XLIV 119. (German translation by Matthias Schirn of The Frege–Hilbert controversy, Philosophy andphenomenological research, vol. 34 no. 3 (1974), pp. 229–242.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 226-229
-
- Article
- Export citation
Raymond D. Gumb. Evolving theories. With a foreword by Hugues Leblanc. Haven Publishing Corporation, New York1979, xi + 96 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 454-456
-
- Article
- Export citation