Contents
Reviews
Lennart Åqvist. A binary primitive in deontic logic. Logique et analyse, n.s. vol. 5 (1962), pp. 90–97.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 519
-
- Article
- Export citation
Michael O. Rabin. A simple method for undecidability proofs and some applications. 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. 38–68.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 150
-
- Article
- Export citation
Hans Hermes. Einführung in die Verbandstheorie. Second, enlarged edition of XXII 222. Springer-Verlag, Berlin-Heidelberg-New York1967, xii + 209 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 677
-
- Article
- Export citation
Peter Achinstein. Theoretical terms and partial interpretation. The British journal for the philosophy of science, vol. 14 (1963–1964), pp. 89–105.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 321-322
-
- Article
- Export citation
Erik Stenius. The principles of a logic of normative systems. Proceedings of a Colloquium on Modal and Many-valued logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki1963, pp. 247–260.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 519-520
-
- Article
- Export citation
Philip K. Hooper. The undecidability of the Turing machine immortality problem. The journal of symbolic logic, vol. 31 (1966), pp. 219–234.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 150
-
- Article
- Export citation
A. P. Bowran. A Boolean algebra abstract and concrete. Macmillan & Co. Ltd, London, and St. Martin's Press, New York, 1965, vii + 93 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 677
-
- Article
- Export citation
Patrick Suppes and Joseph L. Zinnes. Basic measurement theory. Handbook of mathematical psychology, Volume I, edited by R. Duncan Luce, Robert R. Bush, and Eugene Galanter, John Wiley and Sons, Inc., New York and London1963, pp. 1–76.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 322-323
-
- Article
- Export citation
Michael Anderson. Note on the mortality problem for shift state trees. Notre Dame journal of formal logic, vol. 10 no. 3 (1969), pp. 275–276.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 151
-
- Article
- Export citation
Alan Ross Anderson. What do symbols symbolize?: Platonism. Philosophy of science, The Delaware seminar, Volume 1, 1961–1962, edited by Bernard Baumrin, Interscience Publishers, New York and London1963, pp. 137–151. - A. R. Anderson, B. Baumrin, W. Busse, T. Bynum, R. D. Gray, W. McCormack, W. Reese. Discussion. Philosophy of science, The Delaware seminar, Volume 1, 1961–1962, edited by Bernard Baumrin, Interscience Publishers, New York and London1963, pp. 151–158.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 323
-
- Article
- Export citation
Alan Ross Anderson. Completeness theorems for the systems E of entailment and EQ of entailment with quantification. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 201–216.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 520
-
- Article
- Export citation
Moses Richardson. Fundamentals of mathematics. Revised edition of VII 46. The Macmillan Company, New York1958, xviii + 507 pp.; also third edition, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1966, xx + 603 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 678
-
- Article
- Export citation
Dean N. Arden. Delayed-logic and finite-state machines. Switching circuit theory and logical design, Proceedings of the Second Annual Symposium, Detroit, Mich., October 17–20, 1961, and papers from the First Annual Symposium, Chicago, III., October 9–14,1960, American Institute of Electrical Engineers, New York1961, pp. 133–151.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 151
-
- Article
- Export citation
E. J. Ashworth. Propositional logic in the sixteenth and early seventeenth centuries. Notre Dame journal of formal logic, vol. 9 no. 2 (for 1968, pub. 1969), pp. 179–192. - E. J. Ashworth. Petrus Fonseca and material implication. Notre Dame journal of formal logic, vol. 9 no. 3 (for 1968, pub. 1969), pp. 227–228.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 323-324
-
- Article
- Export citation
Nuel D. BelnapJr., EQ and the first order functional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 217–218.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 520
-
- Article
- Export citation
Richmond H. Thomason. Symbolic logic. An introduction. The Macmillan Company, Collier-Macmillan Limited, London1970, xiii + 367 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 678
-
- Article
- Export citation
James G. ColbertJr., La evolución de la lógica simbólica y sus implicaciones filosóficas. Ediciones Universidad de Navarra, S.A., Pamplona1968, 341 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 324-325
-
- Article
- Export citation
R. J. Nelson. Introduction to automata.John Wiley & Sons, Inc., New York-London-Sydney1968, xii + 400 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-152
-
- Article
- Export citation
A. R. Anderson and N. D. BelnapJr., First degree entailments. Mathematische Annalen, vol. 149 (1963), pp. 302–319.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 520-521
-
- Article
- Export citation
Gerald J. Massey. Understanding symbolic logic. Harper & Row, Publishers, New York, Evanston, and London, 1970, xix + 428 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 678-679
-
- Article
- Export citation