Research Article
Algebraically closed commutative rings
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 493-499
-
- Article
- Export citation
Metamathematical problems
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 500-516
-
- Article
- Export citation
Reviews
Hans Freudenthal. Lincos. Design of a language for cosmic intercourse. Part I. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1960, 224 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 517
-
- Article
- Export citation
J. R. Hindley, B. Lercher, and J. P. Seldin. Introduction to combinatory logic. London Mathematical Society lecture note series, no. 7, Cambridge at the University Press, London and New York1972, 170 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 518
-
- Article
- Export citation
Hans Hermes. Einführung in die mathematische Logik. Klassische Prädikatenlogik. Second edition, revised and expanded, of XXX 355. B. G. Teubner, Stuttgart1969, 204 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 518-519
-
- Article
- Export citation
W. Craig. Analysis of first-order implications. 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. 175–180.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 519
-
- Article
- Export citation
George S. Boolos. A proof of the Löwenheim-Skolem theorem. Notre Dame journal of formal logic, vol. 11 (1970), pp. 76–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 519
-
- Article
- Export citation
R. Zane Parks. On formalizing Aristotle's theory of modal syllogisms. Notre Dame journal of formal logic, vol. 13 (1972), pp. 385–386.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 519-520
-
- Article
- Export citation
David Makinson. A generalisation of the concept of a relational model for modal logic. Theoria (Lund), vol. 36 (for 1970, pub. 1971), pp. 331–335.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 520
-
- Article
- Export citation
James Rosenberg. The application of ternary semigroups to the study of n-valued Sheffer functions. Notre Dame journal of formal logic, vol. 10 (1969), pp. 90–94.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 520
-
- Article
- Export citation
C. G. McKay. A note on the Jaśkowski sequence. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 95–96.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 520-521
-
- Article
- Export citation
Ralph C. Applebee and Biswambhar Pahi. Some results on generalized truth-tables. Notre Dame journal of formal logic, vol. 12 (1971), pp. 435–440.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
-
- Article
- Export citation
Kiyoshi Iséki. On axiom systems of propositional calculi. XV. Proceedings of the Japan Academy, vol. 42 (1966), pp. 217–220. - Yoshinari Arai. On axiom systems of propositional calculi. XVII. Proceedings of the Japan Academy, vol. 42 (1966), pp. 351–354. - Shôtarô Tanaka. On axiom systems of propositional calculi. XVIII. Proceedings of the Japan Academy, vol. 42 (1966), pp. 355–357. - Yoshinari Arai and Shôtarô Tanaka. On axiom systems of propositional calculi. XIX. Proceedings of the Japan Academy, vol. 42 (1966), pp. 358–360. - Shôtarô Tanaka. On axiom systems of propositional calculi. XX. Proceedings of the Japan Academy, vol. 42 (1966), pp. 361–363.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
-
- Article
- Export citation
J. Hooley. Sentence logic as an introduction to axiomatic systems. The mathematical gazette, vol. 44 (1960), pp. 23–34.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
-
- Article
- Export citation
Sergiu Rudeanu. Independent systems of axioms in lattice theory. Bulletin mathématique de la Société des Sciences Mathématiques de la République Socialiste de Roumanie, n.s. vol. 3 (1959), pp. 475–488.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
-
- Article
- Export citation
L. Henkin. Boolean representation through propositional calculus. Fundamenta mathematicae, vol. 41 no. 1 (1954), pp. 89–96. - J. Łoś. Remarks on Henkin's paper: Boolean representation through propositional calculus. Fundamenta mathematicae, vol. 44 no. 1 (1957), pp. 82–83.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 521-522
-
- Article
- Export citation
H. Jerome Keisler. Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers. Studies in logic and the foundations of mathematics, vol. 62, North-Holland Publishing Company, Amsterdam and London1971, x + 208 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 522-523
-
- Article
- Export citation
H. Jerome Keisler. Infinite quantifiers and continuous games. Applications of model theory to algebra, analysis, and probability, edited by W. A. J. Luxemburg, Holt, Rinehart and Winston, New York, Chicago, San Francisco, Atlanta, Dallas, Montreal, Toronto, London, and Sydney, 1969, pp. 228–264.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 523
-
- Article
- Export citation
Saharon Shelah. Uniqueness and characterization of prime models over sets for totally transcendental first-order theories. The journal of symbolic logic, vol. 37 (1972), pp. 107–113.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 523-524
-
- Article
- Export citation
Erik Ellentuck. A minimal model for strong analysis. Fundamenta mathematicae, vol. 73 no. 2 (1971), pp. 125–131.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 524
-
- Article
- Export citation