Contents
Reviews
R. H. Vincent. The paradoxes of confirmation. Mind, n.s. vol. 73 (1964), pp. 273–279.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 250-251
-
- Article
- Export citation
R. A. Sharpe. Validity and the paradox of confirmation. The philosophical quarterly (St. Andrews), vol. 14 (1964), pp. 170–173.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 251
-
- Article
- Export citation
Nicholas Rescher. Definitions of “existence.”Philosophical studies (Minneapolis), vol. 8 (1957), pp. 65–69. - Karel Lambert. Notes on “E!”. Philosophical studies (Minneapolis), vol. 9 (1958), pp. 60–63.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 251
-
- Article
- Export citation
Karel Lambert. Notes on “E!“: II. Philosophical studies (Minneapolis), vol. 12 (1961), pp. 1–5.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 251
-
- Article
- Export citation
Karel Lambert. Notes on E! III: A theory of descriptions. Philosophical studies (Minneapolis), vol. 13 (1962), pp. 51–59. - Jaakko Hintikka. Definite descriptions and self-identity.Philosophical studies (Minneapolis), vol. 15 (1964), pp. 5–7. - Karel Lambert. Notes on E! IV. Philosophical studies (Minneapolis), vol. 15 (1964), pp. 85–88. (See Errata, ibid., vol. 16 (1965), p. 48.) - Karel Lambert. Definite descriptions and self-identity. II. Philosophical studies (Minneapolis), vol. 15 (1964), vol. 17 (1966), pp. 35–43.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 252
-
- Article
- Export citation
Irving M. Copi. Symbolic logic. Second, revised, edition of XIX 282. The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1965, xviii + 395 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 252-255
-
- Article
- Export citation
Hugues Leblanc. Minding one's X's and Y's. Logique et analyse, n.s. vol. 8 (1965), pp. 209–210. - John G. Slater. The required correction to Copi's statement of UG. Logique et analyse, n.s. vol. 9 (1966), p. 267.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 255
-
- Article
- Export citation
Dag Prawitz. Natural deduction. A proof-theoretical study. Acta Universitatis Stock-holmiensis, Stockholm studies in philosophy no. 3. Almqvist & Wiksell, Stockholm, Göteborg, and Uppsala, 1965, 113 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 255-256
-
- Article
- Export citation
Hugues Leblanc. Études sur les règles d'inférence dites règles de Gentzen. Deuxième partie. Dialogue, vol. 1 no. 4 (1963), pp. 355–367.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 256-258
-
- Article
- Export citation
K. Jaakko J. Hintikka. Identity, variables, and impredicative definitions. The journal of symbolic logic, vol. 21 (1956), pp. 225–245. - K. Jaakko J. Hintikka. Vicious circle principle and the paradoxes. The journal of symbolic logic, vol. 22 (1957), pp. 245–249.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 258-259
-
- Article
- Export citation
Wilhelm Ackermann. Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 (1958), pp. 3–26, and vol. 5 (1959), pp. 96–111.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 259
-
- Article
- Export citation
Wilhelm Ackermann. Grundgedanken einer typenfreien Logik. Essays on the foundations of mathematics, dedicated to A. A. Fraenkelon 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, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 143–155.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 259-260
-
- Article
- Export citation
Helmut Thiele. Eine Axiomatisierung der zweiwertigen Prädikatenkalküle der ersten Stufe, welche die Implikation enthalten. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 (1956), pp. 93–106. - Helmut Thiele. Theorie der endlichwertigen Łukasiewiczschen Prädikatenkalküle der ersten Stufe. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 108–142.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 260-261
-
- Article
- Export citation
Ludwik Borkowski. On proper quantifiers I. English with Polish and Russian summaries. Studia logica, vol. 8 (1958), pp. 65–130.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 262-263
-
- Article
- Export citation
Ludwik Borkowski. On proper quantifiers II. English, with Polish and Russian summaries. Studia logica, vol. 10 (1960), pp. 7–28. (See Correction to the paper “On proper quantifiers II,” ibid., vol. 15 (1964), p. 272.)
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 263
-
- Article
- Export citation
Robert McNaughton. Unate truth functions. IRE transactions on electronic computers, vol. EC-10 (1961), pp. 1–6.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 263
-
- Article
- Export citation
E. J. McCluskeyJr., Minimal sums for Boolean functions having many unspecified fundamental products. 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. 10–17; also Transactions of the American Institute of Electrical Engineers, vol. 81 part 1 (1962), pp. 387–392.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 263-264
-
- Article
- Export citation
R. W. House and T. Rado. On a computer program for obtaining irreducible representations for two-level multiple input-output logical systems. Journal of the Association for Computing Machinery, vol. 10 (1963), pp. 48–77. (See Erratum, ibid., p. 256.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 264-265
-
- Article
- Export citation
R. W. House and T. Rado. A generalization of Nelson's algorithm for obtaining prime implicants. The journal of symbolic logic, vol. 30 (1965), pp. 8–12.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 265
-
- Article
- Export citation
B. Dunham, R. Fridshal, and G. L. Sward. A non-heuristic program for proving elementary logical theorems. English, with 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, and Butterworths, London, 1960, pp. 282–285. - B. Dunham, R. Fridshal, and J. H. North. Exploratory mathematics by machine. Recent developments in information and decision processes, edited by Robert E. Machol and Paul Gray, The Macmillan Company, New York1962, pp. 149–160. - B. Dunham and J. H. North. Theorem testing by computer. Proceedings of the Symposium on Mathematical Theory of Automata, New York, N. Y., April 24, 25, 26, 1962, Microwave Research Symposia series vol. 12, Polytechnic Press of the Polytechnic Institute of Brooklyn, Brooklyn, N.Y., 1963, pp. 173–177.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 266
-
- Article
- Export citation