Contents
Reviews
Ladislav Tondl. Sémantika otázky v problémové situaci (Semantics of the question in the problem-solving situation). Kybernetika (Prague), vol. 4 (1968), pp. 295–317.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 314
-
- Article
- Export citation
Back matter
JSL volume 35 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
-
- Article
-
- You have access
- Export citation
Reviews
Willard Van Orman Quine. Elementary logic. Revised edition of VI 99. Harper Torchbooks, The Science Library, Harper & Row, Publishers, New York, 1965, and Harvard University Press, Cambridge, Mass., 1966, x + 129 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 166-167
-
- Article
- Export citation
Hector-Neri Castañeda. Imperative reasonings. Philosophy and phenomenological research, vol. 21 no. 1 (1960), pp. 21–49. - B. A. O. Williams. Imperative inference. I. Analysis (Oxford), vol. 23 suppl. (1963), pp. 30–36. - P. T. Geach. Imperative inference. II. Analysis (Oxford), vol. 23 suppl. (1963), pp. 37–42. - Nicholas Rescher and John Robison. Can one infer commands from commands?Analysis (Oxford), vol. 24 no. 5 (1964), pp. 176–179. - André Gombay. Imperative inference and disjunction. Analysis (Oxford), vol. 25 no. 3 (1965), pp. 58–62. - Lennart Åqvist. Choice-offering and alternative-presenting disjunctive commands. Analysis (Oxford), no. 5 (1965), pp. 182–184. - A. J. Kenny. Practical inference. Analysis (Oxford), vol. 26 no. 3 (1966), pp. 65–75. - P. T. Geach. Dr. Kenny on practical inference. Analysis (Oxford), vol. 26 no. 3 (1966), pp. 76–79. - Yehoshua Bar-Hillel. Imperative inference. Analysis (Oxford), vol. 26 no. 3 (1966), pp. 79–82. - André Gombay. What is imperative inference?Analysis (Oxford), vol. 27 no. 5 (1967), pp. 145–152. - R. M. Hare. Some alleged differences between imperatives and indicatives. Mind, n.s. vol. 76 (1967), pp. 309–326. - Alfred F. MacKay. Inferential validity and imperative inference rules. Analysis (Oxford), vol. 29 no. 5 (1969), pp. 145–156.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 314-318
-
- Article
- Export citation
Martin Davis. Lecture notes on mathematical logic. The Institute of Mathematical Sciences, New York University, New York 1959, 91 pp. + Appendix and errata.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 167
-
- Article
- Export citation
Rolf Schock. Some definitions of subjunctive implication, of counterfactual implication, and of related concepts. Notre Dame journal of formal logic, vol. 2 (1961), pp. 206–221. - Rolf Schock. A note on subjunctive and counterfactual implication. Notre Dame journal of formal logic, vol. 3 (1962), pp. 289–290.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 319
-
- Article
- Export citation
Noam Chomsky. Aspects of the theory of syntax. A paperbound edition of XXXII 385. The M.I.T. Press, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1969, x + 251 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 167
-
- Article
- Export citation
Rolf Schock. A definition of event and some of its applications. Theoria (Lund), vol. 28 (1962), pp. 250–268.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 319-320
-
- Article
- Export citation
Lewis White Beck. Can Kant's synthetic judgments be made analytic? Studies in the philosophy of Kant. The Bobbs-Merrill Company, Inc., a subsidiary of Howards W. Sams & Co., Inc., Indianapolis, New York, Kansas City, 1965, pp. 74–91. (Reprinted from Kant-Studien, vol. 47 (1955), pp. 168–181.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 167-168
-
- Article
- Export citation
Don Davis Roberts. The existential graphs and natural deduction. Studies in the philosophy of Charles Sanders Peirce, Second series, edited by Edward C. Moore and Richard S. Robin, The University of Massachusetts Press, Amherst1964, pp. 109–121.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 320-321
-
- Article
- Export citation
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 168-178
-
- Article
- Export citation
Gerold Stahl. Ideas generales de la lógica combinatoria. Revista de matemáticas de la Universidad de Chile, vol. 5 no. 1 (1958), pp. 20–27.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 321
-
- Article
- Export citation
R. J. Plymen. A model of the arithmetic of alephs in the equation calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 257–258.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 321
-
- Article
- Export citation
Meeting Report
Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 179-185
-
- Article
- Export citation
Reviews
D. Hilbert and P. Bernays. Grundlagen der Mathematik I. Second edition of 5071. Springer-Verlag, Berlin, Heidelberg, New York, 1968, XV + 473 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 321-323
-
- Article
- Export citation
Other
Symposia Information Center
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 185
-
- Article
- Export citation
Reviews
A. V. Idél′son and G. E. Minc. Prédislovie rédaktorov (Editor's foreword). Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 5–8. - Gerhard Gentzen. Isslédovaniá logičéskih vyvodov. Russian translation of 4422 by A. V. Idél′son, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 9–74. - A. V. Idél′son. Dobavlénié pérévodčika (Translator's addition). Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 75–76. - Gerhard Gentzen. Néprotivoréčivost′ čistoj téorii čisél. Russian translation of I 75 by G. E. Minc, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 77–153. - Gerhard Gentzen. Novoé izložénié dokazatél′stva néprotivoréčivosti dlá čistoj téorii čisél. Russian translation of IV 31 by G. E. Minc, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 154–190. - E. W. Beth. Métod sémantičéskih tablic. Russian translation of paragraph 67 omitting the examples, and of portions of paragraphs 68, 70, and 92 of XXVII 73 by A. O. Slisénko, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 191–199. - Stig Kanger. Uproščénnyj métod dokazatél′stva dlá eléméntarnoj logiki. Russian translation of XXXII 119 by S. Ú. Maslov, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 200–207. - S. C. Kleene. Péréstanovočnost′ priménénij pravil v géncénovskih isčisléniáh LK i LJ. Russian translation of XIX 62(1) by V. P. Orévkov and A. V. Sočilina, with added footnotes by the translators. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 208–236. - S. C. Kleene. Konéčnaá aksiomatiziruémost′ téorij v isčislénii prédikatov s pomošč′ú dopolnitél′nyh prédikatnyh simvolov. Russian translation of XIX 62(2) by G. V. Davidov, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 237–284. - K. Schütte. Intérpolácionnaá téoréma dlá intuicionistskoj logiki prédikatov. Russian translation of XXIX 145 by A. O. Slisénko. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 285–295.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 323
-
- Article
- Export citation
Other
Audio recordings of mathematical lectures
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
-
- Article
- Export citation
Notice of conference on mathematical logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
-
- Article
- Export citation
Reviews
G. E. Minc. Priložénié. Téoréma Erbrana (Appendix. Herbrand's theorem). Archiv für mathematische Logik und Grundlagenforschung, vol. 2 no. 1 (1954), pp. 311–350.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 323-325
-
- Article
- Export citation