Reviews
J. W. Addison. Hierarchies and the axiom of constructibility. 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. 355–362.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 137-138
-
- Article
- Export citation
David Rynin. Introduction. A treatise on language, by Alexander Bryan Johnson, edited by David Rynin, University of California Press, Berkeley and Los Angeles, and Cambridge University Press, London, 1959, pp. 1–25.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 670-671
-
- Article
- Export citation
Other
Notice of the new quarterly Nous
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 524
-
- Article
- Export citation
Back matter
JSL volume 31 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
-
- Article
-
- You have access
- Export citation
Reviews
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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 671-672
-
- Article
- Export citation
Front matter
JSL volume 31 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
Martin Davis. A program for Presburger's algorithm. 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. 215–223.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 138
-
- Article
- Export citation
Back matter
JSL volume 31 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b3
-
- Article
-
- You have access
- Export citation
Reviews
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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 672
-
- Article
- Export citation
Clifford Spector. Recursive ordinals and predicative set theory. 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. 377–382.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 138
-
- Article
- Export citation
J. S. Ullian. Splinters of recursive functions. The journal of symbolic logic, vol. 25 no. 1 (for 1960, pub. 1961), pp. 33–38.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 138-139
-
- Article
- Export citation
Max Beberman and Herbert E. Vaughan. High school mathematics. Course 2. Plane geometry with appendices on logic and solid geometry. D. C. Heath and Company, Boston, Englewood, Chicago, San Francisco, Atlanta, Dallas, London, and Toronto, 1965, xi + 584 pp. - Max Beberman and Herbert E. Vaughan. High school mathematics. Course 2. Plane geometry with appendices on logic and solid geometry. Teacher's edition. D. C. Heath and Company, Boston, Englewood, Chicago, San Francisco, Atlanta, Dallas, London, and Toronto, 1965, 608 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 672-673
-
- Article
- Export citation
Richard B. Angell. Reasoning and logic. Appleton-Century-Crofts, New York1964, xiv + 625 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 674
-
- Article
- Export citation
Donald A. Martin. A theorem on hyper hypersimple sets. The journal of symbolic logic, vol. 28 no. 4 (for 1963, pub. 1964), pp. 273–278.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 139
-
- Article
- Export citation
Alfred Tarski. Introduction to logic and to the methodology of deductive sciences. Third edition of VI 30. Oxford University Press, New York1965, viii + 252 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 674
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 139-140
-
- Article
- Export citation
Corrado Böhm. On a family of Turing machines and the related programming language. ICC bulletin, vol. 3 (1964), pp. 185–194.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 140
-
- Article
- Export citation
Dan Pedoe. The gentle art of mathematics. With drawings by Griselda El Tayeb. The English Universities Press Limited, London 1958, and The Macmillan Company, New York 1959, 143 pp. Second edition, Collier Books, New York1963, 159 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 675
-
- Article
- Export citation
Hans Reichenbach. Elements of symbolic logic. Second, paper-bound, edition of XIV 50. The Free Press, New York, and Collier-Macmillan Limited, London, 1966, xiii + 444 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 675
-
- Article
- Export citation
Gene F. Rose. Output completeness in sequential machines. Proceedings of the American Mathematical Society, vol. 13 (1962), pp. 611–614.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 140
-
- Article
- Export citation