Contents
Reviews
P. Lorenzen and J. Myhill. Constructive definition of certain analytic sets of numbers. The journal of symbolic logic, vol. 24 no. 1 (1959), pp. 37–49.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 295
-
- Article
- Export citation
M. D. Gladstone. Finite models for inequalities. The journal of symbolic logic, vol. 31 (1966), pp. 581–592.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 479
-
- Article
- Export citation
A. Robinson. A basis for the mechanization of the theory of equations. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 95–99. - A. Robinson. On the mechanization of the theory of equations. Bulletin of the Research Council of Israel, vol. 9F no. 2 (1960), pp. 47–70.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 118
-
- Article
- Export citation
J. R. Lucas. Minds, machines and Gödel. Philosophy, vol. 36 (1961), pp. 112–127. - Paul Benacerraf. God, the devil, and Gödel. The Monist, vol. 51 (1967), pp. 9–32.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 613-615
-
- Article
- Export citation
Jules Vuillemin. De la logique à la théologie. Cinq études sur Aristote.Flammarion, Paris1967, 235 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 615
-
- Article
- Export citation
B. A. Trahténbrot. T′úringovy vyčisléniá s logarifmičéskim zamédléniém (Turing computations with logarithmic delay). Algébra i logika, Séminar, vol. 3 no. 4 (1964), pp. 33–48.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 118-119
-
- Article
- Export citation
C. C. Chang and H. Jerome Keisler. An improved prenex nomal form. The journal of symbolic logic, vol. 27 no. 3 (for 1962, pub. 1963), pp. 317–326.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 479
-
- Article
- Export citation
Alfred B. Manaster. Higher-order indecomposable isols. Transactions of the American Mathematical Society, vol. 125 (1966), pp. 363–383.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-296
-
- Article
- Export citation
Romane Clark and Paul Welsh. Introduction to logic. D. Van Nostrana Company, Inc., Princeton, N.J., Toronto, New York, London, 1962, xii + 268 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 479-480
-
- Article
- Export citation
E. J. Lemmon. On sentences verifiable by their use. Analysis (Oxford), vol. 22 no. 4 (1962), pp. 86–89. - Jaakko Hintikka. Cogito, ergo sum: inference or performance?The philosophical review, vol. 71 (1962), pp. 3–32.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 615-616
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 296-297
-
- Article
- Export citation
F. C. Hennie. One-tape, off-line Turing machine computations. Information and control, vol. 8 (1965), pp. 553–578.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-120
-
- Article
- Export citation
J. C. Shepherdson. Machine configuration and word problems of given degree of unsolvability. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 69–80. - J. C. Shepherdson. Machine configuration and word problems of given degree of unsolvability. Zeitschrift für mathematlsche Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 149–175.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 120-121
-
- Article
- Export citation
Jaakko Hintikka. Kantin oppi matematiikasta: Tutkimuksia sen peruskäsitteistä, rakenteesta ja esikuvista (Kant's doctrine of mathematics: Studies of its basic concepts, its structure, and its sources). Ajatus, vol. 22 (1959), pp. 5–85.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 616-618
-
- Article
- Export citation
Martin Davis. Unsolvable problems: a review. Proceedings of the Symposium on Mathematical Theory of Automata, New York, N.Y., April 24, 25, 26, 1962, Microwave Research Institute symposia series vol. 12, Polytechnic Press of the Polytechnic Institute of Brooklyn, Brooklyn, N.Y., 1963, pp. 15–22.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 297-298
-
- Article
- Export citation
Niko Prijatelj. Uvod v matematično logiko (Introduction to mathematical logic). Mladinska Knjiga, Ljubljana1960, 150 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 480-481
-
- Article
- Export citation
Evert W. Beth. The foundations of mathematics. A study in the philosophy of science. Second, revised, edition of XXVII 73. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1965, xxviii + 741 pp. - Evert W. Beth. The foundations of mathematics. A study in the philosophy of science. A paper-bound reprint of the foregoing. Harper & Row, New York1966, xxviii + 741 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 618
-
- Article
- Export citation
Frank B. Cannonito. Hierarchies of computable groups and the word problem. The journal of symbolic logic, vol. 31 (1966), pp. 376–392.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 121
-
- Article
- Export citation
Abner Shimony. Coherence and the axioms of confirmation. The journal of symbolic logic, vol. 20 (1955), pp. 1–28. - R. Sherman Lehman. On confirmation and rational betting. The journal of symbolic logic, vol. 20 (1955), pp. 251–262. - John G. Kemeny. Fair bets and inductive probabilities. The journal of symbolic logic, vol. 20 (1955), pp. 263–273.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 481-482
-
- Article
- Export citation
Shigeru Watanabe. Periodicity of Post's normal process of tag. Proceedings of the Symposium on Mathematical Theory of Automata, New York, N.Y., April 24, 25, 26, 1962, Microwave Research Institute symposia series vol. 12, Polytechnic Press of the Polytechnic Institute of Brooklyn, Brooklyn, N.Y., 1963, pp. 83–99.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 298
-
- Article
- Export citation