Reviews
Max Beberman and Herbert E. Vaughan. High school mathematics. Course 1. Revised edition of XXX 401(10–13). D. C. Heath and Company, Boston1964, ix + 598 pp. - Max Beberman and Herbert E. Vaughan. High school mathematics. Course 1. Teacher's edition. Revised edition of XXX 401(14–17). D. C Heath and Company, Boston1964, pages irregularly numbered. (The pages of the students' edition are reproduced with their same numbers, and with most pages, added material for the teacher is inserted on extra pages.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 111-112
-
- Article
- Export citation
Luís Washington Vita. Introduçāo à filosofia. With a preface by Miguel Reale. Edições Melhoramentos, São Paulo1964, 252 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
-
- Article
- Export citation
A. J. Ayer. Names and descriptions. The concept of a person and other essays, by A. J. Ayer, Macmillan & Co. Ltd., London, and St. Martin's Press Inc., New York, 1963, pp. 129–161.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 112-113
-
- Article
- Export citation
A. J. Ayer. Truth. The concept of a person and other essays, by A. J. Ayer, Macmillan & Co. Ltd., London, and St. Martin's Press Inc., New York, 1963, pp. 162–187.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 113
-
- Article
- Export citation
Jerzy Giedymin. A generalization of the refutability postulate. English with Polish and Russian summaries. Studia logica, vol. 10 (1960), pp. 97–110.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-114
-
- Article
- Export citation
Wolfgang Yourgrau and Donald Livingstone. On the matter of mathematical constants. Methodos, vol. 9 (1957), pp. 3–29.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 115
-
- Article
- Export citation
Z. Pawlak. New method of parenthesis-free notations of formulae. Bulletin de l'Académie Polonaise des Sciences, Série des sciences techniques, vol. 8 no. 4 (1960), pp. 197–198.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 115
-
- Article
- Export citation
Leon Gumański. Jedynkowe systemy aksjomatyczne. Prace wydziału filologiczno-filozoficznego, vol. 15 no. 1. Towarzystwo Naukowe w Toruniu, Toruń1964, 75 pp. - Leon Gumański. Unitary axiom systems (A summary). Therein, pp. 73–74.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-117
-
- Article
- Export citation
Bolesław Sobociński. A note concerning the many-valued propositional calculi. Notre Dame journal of formal logic, vol. 2 (1961), pp. 127–128.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 117
-
- Article
- Export citation
Mary Katherine Yntema. A detailed argument for the Post-Linial theorems. Notre Dame journal of formal logic, vol. 5 no. 1 (1964), pp. 37–50.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 117-118
-
- Article
- Export citation
Bolesław Sobociński. On the proposiiional system A of Vučkovit and its extension.Notre Dame journal of formal logic, vol. 5 no. 2 (1964), pp. 141–153, and vol. 5 no. 3 (for 1964, pub. 1965), pp. 223–237.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 118
-
- Article
- Export citation
Arto Salomaa. Some analogues of Sheffet functions in infinite-valued logics. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki1963, pp. 227–235.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 118-119
-
- Article
- Export citation
Arto Salomaa. On infinitely generated sets of operations infinite algebras. Annales Universitatis Turkuensis, series A, I, Astronomica-chemica-physica-mathematica, no. 74. Turun Yliopisto, Turku1964, 13 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-120
-
- Article
- Export citation
Lennart Åqvist. Interpretations of deontic logic. Mind, n.s. vol. 73 (1964), pp. 246–253.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 120
-
- Article
- Export citation
Saul A. Kripke. Semantical analysis of modal logic I. Normal modal propositional calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 67–96.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 120-122
-
- Article
- Export citation
Jaakko Hintikka. Modality and quantification. Theoria (Lund), vol. 27 (1961), pp. 119–128. - Jaakko Hintikka. The modes of modality. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki 1963, pp. 65–81.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 122-123
-
- Article
- Export citation
Nicholas Rescher. Many-sorted quantification. Atti del XII Congresso Internazionale di Filosofia (Venezia, 12–18 settembre 1958), volume quinto, Logica, gnoseologia, filosofia della scienza, filosofia del linguaggio, Sansoni Editore, Florence1960, pp. 447–453.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 123-124
-
- Article
- Export citation
P. C. Gilmore. A program for the production from axioms, of proofs for theorems derivable within the first order predicate calculus. English, with English, French, German, Russian, and Spanish summaries. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, Butterworths, London, 1960, pp. 265–273. - J. Porte, P. C. Gilmore, Dag H. Prawitz, Håkon Prawitz, and Neri Voghera. Discussion. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, Butterworths, London, 1960, p. 273. - P. C. Gilmore. A proof method for quantification theory: Its justification and realization. IBM journal of research and development, vol. 4 (1960), pp. 28–35.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 124-125
-
- Article
- Export citation
Martin Davis and Hilary Putnam. A computing procedure for quantification theory. Journal of the Association for Computing Machinery, vol. 7 (1960), pp. 201–215.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 125-126
-
- Article
- Export citation
Dag Prawitz, Håkon Prawitz, and Neri Voghera. A mechanical proof procedure and its realization in an electronic computer.Journal of the Association for Computing Machinery, vol. 7 (1960), pp. 102–128.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 126
-
- Article
- Export citation