Contents
Reviews
Gerson B. Robison. An introduction to mathematical logic. Prentice-Hall, Inc., Engle wood Cliffs, N.J., 1969, xii + 212 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 679
-
- Article
- Export citation
E. W. Beth. I fondamenti logici della matematica. Italian translation by Ettore Casari of XXV 269. Feltrinelli Editore, Milan1963, XIII + 335 pp. - Ettore Casari. Prefazione del traduttore. Therein, pp. VII–XIII. - E. W. Beth. Osservazioni sulla deduzione naturale. Italian translation by Ettore Casari of XXII 360(3). Therein, pp. 255–259. - E. W. Beth. Considerazioni euristiche sui metodi di deduzione per sequenze. Italian translation by Ettore Casari of Considérations heuristiques sur les méthodes de déduction par séquences. Therein, pp. 260–267. - E. W. Beth. Osservazioni a proposito del ragionamento indiretto. Italian translation by Ettore Casari of Observations au sujet du raisonnement indirect. Therein, pp. 268–276. - E. W. Beth. Risultati di completezza per sistemi formali. Italian translation by Ettore Casari of XXVII 110. Therein, pp. 277–285. - Ettore Casari. I calcoli N e L di Gentzen. Therein, pp. 287–294.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 325
-
- Article
- Export citation
David Makinson. An alternative characterisation of first-degree entailment. Logique et analyse, n.s. vol. 8 (1965), pp. 308–311. (See Errata, ibid., vol. 9, p. 394.)
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
-
- Article
- Export citation
Janusz A. Brzozowski. Derivatives of regular expressions. Journal of the Association for Computing Machinery, vol. 11 (1964), pp. 481–494.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 152
-
- Article
- Export citation
George Goe. Modifications of Quine's ML and inclusive quantification systems. The journal of symbolic logic, vol. 33 (1968), pp. 39–42.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 325-326
-
- Article
- Export citation
L. L. Maksimova. O modéláh isčisléniá E (On models of the calculus E). Algébra i logika, vol. 6 no. 6 (1967), pp. 5–20.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
-
- Article
- Export citation
Hans Hermes. Term logic with choice operator. A revised and enlarged translation of XXXV 440. Lecture notes in mathematics no. 6, Springer-Verlag, Berlin, Heidelberg, and New York, 1970, iv + 55 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 679-680
-
- Article
- Export citation
Alfred V. Aho and Jeffrey D. Ullman. The theory of languages. Mathematical systems theory, vol. 2 (1968), pp. 97–125.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 152-153
-
- Article
- Export citation
Thoralf A. Skolem. Abstract set theory. Notre Dame mathematical lectures, no. 8, University of Notre Dame, Notre Dame, Indiana, 1962, v + 70 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 680
-
- Article
- Export citation
Patrick Suppes, Max Jerman, Dow Brian in collaboration with Diana Axelsen, Guy Groen, Lester Hyman, and Brian Tolliver. Computer-assisted instruction: Stanford's 1965–66 arithmetic program. Academic Press, New York and London1968, vii + 385 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 326-327
-
- Article
- Export citation
Louis Hjelmslev. Omkring sprogteoriens grundlæggelse. Festskrift udgivet af Københavns Universitet i anledning af Universitetets Aarsfest, 11 1943, Bianco Lunos Bogtrykkeri A/S, Copenhagen1943, pp. 3–113; also published separately by Ejnar Munksgaard, Copenhagen 1943. - Louis Hjelmslev. Prolegomena to a theory of language. Second, revised English translation of the preceding by Francis J. Whitfield. The University of Wisconsin Press, Madison1961, v + 144 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 153-154
-
- Article
- Export citation
Robert K. Meyer and J. Michael Dunn. E, R and γ. The journal of symbolic logic, vol. 34 (1969), pp. 460–474.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 521-522
-
- Article
- Export citation
John E. Clifford. Tense logic and the logic of change. Logique et analyse, n.s. vol. 9 (1966), pp. 219–230.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 327-328
-
- Article
- Export citation
Árpád Szabó. Anfänge des euklidischen Axiomensystems. Archive for history of exact sciences, vol. 1 no. 1 (1960), pp. 37–106.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 154-155
-
- Article
- Export citation
Kurt Schütte. Vollständige Systeme modaler und intuitionistischer Logik. Ergebnisse der Mathematik und ihrer Grenzgebiete, no. 42. Springer-Verlag, Berlin-Heidelberg-New York1968, VII + 87 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 522
-
- Article
- Export citation
Th. Skolem. Two remarks on set theory. Mathematica Scandinavica, vol. 5 (1957), pp. 40–46. - John H. Harris. On a problem of Th. Skolem. Notre Dame Journal of formal logic, vol. 11 (1970), pp. 372–374.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 680
-
- Article
- Export citation
G. E. Hughes and M. J. Cresswell. An introduction to modal logic. Methuen and Co. Ltd., London1968, xii + 388 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 328
-
- Article
- Export citation
Hans Georg Steiner. Frege und die Grundlagen der Geometrie. Mathematisch-Physikalische Semesterberichte (Göttingen), vol. 10 no. 2 (1964), pp. 175–186, and vol. 11 no. 1 (1964), pp. 35–47. - G. Frege. On the foundations of geometry. English translation of 4916.1 by M. E. Szabo. The philosophical review, vol. 69 (1960), pp. 3–17. Reprinted in Essays on Frege, edited by E. D. Klemke, University of Illinois Press, Urbana, Chicago, and London, 1968, pp. 559–575.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 155
-
- Article
- Export citation
V. Devidé. A proof of the well-ordering theorem. Colloquium mathematicum, vol. 11 no. 1 (1963), pp. 53–54. - Vladimir Devidé. A proof of Zermelo's theorem. The journal of symbolic logic, vol. 32 (1967), p. 366.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 681
-
- Article
- Export citation
A. Heyting. Axiomatic method and intuitionism. Essays on the foundations of mathematics dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for the Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 237–247.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 522-523
-
- Article
- Export citation