Contents
Reviews
M. J. Poliferno. Decision algorithms for some functional calculi with modality. Logique et analyse, n.s. vol. 4 (1961), pp. 138–153. - M. J. Poliferno. Correction to a paper on modal logic. Logique et analyse, n.s. vol. 7 (1964), pp. 32–33.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 244-245
-
- Article
- Export citation
Francesca Rivetti Barbò. Il “senso e significato” di Frege: Ricerca teoretica sul senso è designato delle espressioni, e sui valori di verità. Studi di filosofia e di storia della filosofia in onore di Francesco Olgiati, Società Editrice Vita e Pensiero, Milan1962, pp. 420–483.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 106-107
-
- Article
- Export citation
Irving M. Copi, Calvin C. Elgot, and Jesse B. Wright. Realization of events by logical nets. Sequential machines, Selected papers, edited by Edward F. Moore, Addison-Wesley Publishing Company, Inc., Reading, Massachusetts, Palo Alto, and London, 1964, pp. 175–192. (Reprinted from Journal of the Association for Computing Machinery, vol. 5 (1958), pp. 181–196.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 389-390
-
- Article
- Export citation
Abraham Robinson. Proving a theorem (as done by man, logician, or machine). 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. 350–352.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 522
-
- Article
- Export citation
Leo Simons. A reduction in the number of independent axiom schemata for S4. Notre Dame journal of formal logic, vol. 3 (1962), pp. 256–258. - Bolesław Sobociński. An axiom-system for {K; N}-propositional calculus related to Simons' axiomatization of S3.Notre Dame journal of formal logic, vol. 3 (1962), pp. 206–208.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 245
-
- Article
- Export citation
H. Gelernter. Theorem proving by machine. 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. 305–308. - H. Gelernter. Realization of a geometry theorem proving machine. 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, and Butterworths, London, 1960, pp. 273–282.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 522-523
-
- Article
- Export citation
R. McNaughton and H. Yamada. Regular expressions and state graphs for automata. Sequential machines, Selected papers, edited by Edward F. Moore, Addison-Wesley Publishing Company, Inc., Reading, Massachusetts, Palo Alto, and London, 1964, pp. 157–174. (Reprinted from IRE transactions on electronic computers, vol. EC-9 (1960), pp. 39–47.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 390-391
-
- Article
- Export citation
Hans-Dieter Sluga. Frege und die Typentheorie. Eine historische Untersuchung. Logik und Logikkalkül, edited by Max Käsbauer and Franz von Kutschera, Verlag Karl Alber, Freiburg and Munich1962, pp. 195–209.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 107-108
-
- Article
- Export citation
Ryszard Nowakowski. Structuralna teoria automatów skończonych określonych za pomocą matryc (A structural theory of matrix-defined finite automata). Polish, with Russian and English summaries. Studia logica, vol. 16 (1965), pp. 75–116.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 391
-
- Article
- Export citation
Lothar Philipps. Rechtliche Regelung und formale Logik. German with French and English summaries. Archiv für Rechts- und Sozial-philosophie, vol. 50 (1964), pp. 317–329.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 108
-
- Article
- Export citation
A. N. Prior. Tense-logic and the continuity of time. English, with Polish and Russian summaries. Studia logica, vol. 13 (1962), pp. 133–151. - R. A. Bull. An algebraic study of Diodorean modal systems. The journal of symbolic logic, vol. 30 (1965), pp. 58–64. - A. N. Prior. Postulates for tense-logic. American philosophical quarterly, vol. 3 (1966), pp. 153–161.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-246
-
- Article
- Export citation
John McCarthy. Computer programs for checking mathematical proofs. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence1962, pp. 219–227.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 523
-
- Article
- Export citation
J. W. N. Watkins. Between analytic and empirical. Philosophy, vol. 32 (1957), pp. 112–131. - Carl G. Hempel. Empirical statements and falsifiability.Philosophy, vol. 33 (1958), pp. 342–348. - J. W. N. Watkins. A rejoinder to Professor Hempel's reply.Philosophy, pp. 349–355. - Israel Scheffler. A note on confirmation. Philosophical studies (Minneapolis), vol. 11 (1960), pp. 21–23. - J. W. N. Watkins. Professor Scheffler's note.Philosophical studies (Minneapolis), vol. 12 (1961), pp. 16–19. - Israel Scheffler. A rejoinder on confirmation.Philosophical studies (Minneapolis), vol. 12 (1961), pp. 19–20.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 246-249
-
- Article
- Export citation
Ú. I. Ánov. О ravnosil′nosti i préobrazovaniáh shém programm (On The equivalence and transformations of program schemata). Doklady Akadémii Nauk SSSR, Vol. 113 (1957), pp. 39–42.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 391
-
- Article
- Export citation
Jose EncarnacionJr., On Ushenko's version of the liar-paradox. Mind, n.s. vol. 64 (1955), pp. 99–100. - A. P. Ushenko. A note on the liar-paradox. Mind, n.s. vol. 64 (1955), p. 543. - Eric Toms. The Liar Paradox. The philosophical review, vol. 65 (1956), pp. 542–547. - Keith S. Donnellan. A note on the liar paradox. The philosophical review, vol. 66 (1957), pp. 394–397. - A. P. Ushenko. An addendum to the note on the liar-paradox. Mind, n.s. vol. 66 (1957), p. 98. - Eric Toms. Reply to a note on the liar paradox. The philosophical review, vol. 67 (1958), pp. 101–105. - William W. Rozeboom. Is Epimenides still lying?Analysis (Oxford), vol. 18 no. 5 (1958), pp. 105–113. - W. J. Huggett. Paradox lost. Analysis (Oxford), vol. 19 no. 1 (1958), pp. 21–23. - C. H. Whiteley. Let Epimenides lie! Analysis (Oxford), vol. 19 no. 1 (1958), pp. 23–24. - Sibanban. Mr. Eric Toms on the liar paradox. Mind, n.s. vol. 74 (1965), pp. 421–423.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 108-112
-
- Article
- Export citation
Á. M. Barzdin′. Ob odnom klassé mašin T′ύringa (mašiny Minskogo) (On a class of Turing machines (Minsky machines)). Algébra i logika, Séminar, vol. 1 no. 6 (1963), pp. 42–51.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 523-524
-
- Article
- Export citation
W. V. Quine. Variables explained away. Proceedings of the American Philosophical Society, vol. 104 (1960), pp. 343–347. Reprinted in Selected logic papers, by W. V. Quine, Random House, New York, pp. 227–235.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
-
- Article
- Export citation
T. Rado. On non-computable functions. The Bell System technical journal, vol. 41 (1962), pp. 877–884.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 524
-
- Article
- Export citation
H. G. Alexander. The paradoxes of confirmation. The British journal for the philosophy of science, vol. 9 (1958–1959), pp. 227–233. - J. Agassi. Corroboration versus induction. The British journal for the philosophy of science, vol. 9 (1958–1959), pp. 311–317. - H. G. Alexander. The paradoxes of confirmation—a reply to Dr. Agassi.The British journal for the philosophy of science, vol. 10 (1959–1960), pp. 229–234. - J. W. N. Watkins. Confirmation without background knowledge. The British journal for the philosophy of science, vol. 10 (1959–1960), pp. 318–320.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 249-250
-
- Article
- Export citation
Ú. I. Ânov. О matričnyh shémah (On matrix schemata). Doklady Akadémii Nauk SSSR, Vol. 113 (1957), pp. 283–286.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 391
-
- Article
- Export citation