Contents
Reviews
A. Heyting. Intuitionism in mathematics. English original of XXXIV 313(12). Philosophy in the mid-century, A survey, I Logic and philosophy of science, edited by Raymond Klibansky, La Nuova Italia Editrice, Florence1958, pp. 101–115.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 609
-
- Article
- Export citation
Robert M. Exner and Myron F. Rosskopf. Logic in elementary mathematics. McGraw-Hill Book Company, Inc., New York, Toronto, and London, 1959, xi + 274 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 179-180
-
- Article
- Export citation
Andrzej Ehrenfeucht. Elementary theories with models without automorphisms. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 70–76.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 338
-
- Article
- Export citation
E. W. Beth. Remarks on intuitionistic logic. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 15–25.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 609
-
- Article
- Export citation
S. R. Kogalovskij. Ob algébraičéskih konstrukciáh sohranáúščih kompaktnost'. Russian original of XXXIX 368(1). Sibirskij matématičéskij žurnal, vol. 8 (1967), pp. 1202–1205.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 338-339
-
- Article
- Export citation
H. Hiż. Grammar logicism. The mortist, vol. 51 (1967), pp. 110–127.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 180
-
- Article
- Export citation
Ernest Adams. The logic of conditionals. Inquiry (Oslo), vol. 8 (1965), pp. 166–197. - Ernest W. Adams. Probability and the logic of conditionals. Aspects of inductive logic, edited by Jaakko Hintikka and Patrick Suppes, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1966, pp. 265–316.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 609-611
-
- Article
- Export citation
S. R. Kogalovskij. O kompaktnyh klassah algébraičéskih sistém. Russian original of XXXIX 367(24). Algébra i logika, vol. 7 no. 2 (1968), pp. 27–41.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 339
-
- Article
- Export citation
Jean-Louis Krivine. Théorie axiomatique des ensembles. Presses Universitaires de France, Paris1969, 120 pp. - Jean-Louis Krivine. Introduction to axiomatic set theory. English translation of the preceding by David Miller. D. Reidel Publishing Company, Dordrecht, and Humanities Press, New York, 1971, VII + 100 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 180-181
-
- Article
- Export citation
J. D. Halpern and H. Läuchli. A partition theorem. Transactions of the American Mathematical Society, vol. 124 (1966), pp. 360–367. - J. D. Halpern and A. Lévy. The Boolean prime ideal theorem does not imply the axiom of choice. Axiomatic set theory, Proceedings of symposia in pure mathematics, vol. 13 part 1, American Mathematical Society, Providence, Rhode Island, 1971, pp. 83–134.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 181-182
-
- Article
- Export citation
Charles E. Caton. A stipulation of logical truth in a modal propositional calculus. Synthese, vol. 14 (1962), pp. 196–199. - Charles E. Caton. A stipulation of a modal propositioned calculus in terms of modalized truth-values. Notre Dame journal of formal logic, vol. 4 no. 3 (1963), pp. 224–226.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 611
-
- Article
- Export citation
Abraham Robinson. Algebraic function fields and non-standard arithmetic. Contributions to non-standard analysis, edited by W. A. J. Luxemburg and A. Robinson, Studies in logic and the foundations of mathematics, vol. 69, North-Holland Publishing Company, Amsterdam and London 1972, pp. 1–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 339-340
-
- Article
- Export citation
Donald J. Collins. On recognising properties of groups which have solvable word problem. Archiv der Mathematik, vol. 21 (1970), pp. 31–39.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 340
-
- Article
- Export citation
Krister Segerberg. Decidability of S4.1. Theoria (Lund), vol. 34 (1968), pp. 7–20.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 611-612
-
- Article
- Export citation
C. C. Chang. Omitting types of prenex formulas. The journal of symbolic logic, vol. 32 (1967), pp. 61–74.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 182
-
- Article
- Export citation
R. A. Bull. On the extension of S4 with CLMpMLp. Notre Dame journal of formal logic, vol. 8 no. 4 (for 1967, pub. 1968), pp. 325–329.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 612
-
- Article
- Export citation
Michael Morley. Partitions and models. Proceedings of the summer school in logic, Leeds, 1967, edited by M. H. Löb, Lecture notes in mathematics, no. 70, Springer-Verlag, Berlin, Heidelberg, and New York, 1968, pp. 109–158.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 182-183
-
- Article
- Export citation
F. William Lawvere. Functorial semantics of algebraic theories. Proceedings of the National Academy of Sciences of the United States of America, vol. 50 (1963), pp. 869–872.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 340-341
-
- Article
- Export citation
Per Lindström. On extensions of elementary logic. Theoria (Lund), vol. 35 (1969), pp. 1–11.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 183
-
- Article
- Export citation
Morton L. Schagrin. The language of logic. A programed text. Random House, New York1968, vii + 247 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 612
-
- Article
- Export citation