Contents
Reviews
G. E. Minc. Teoréma Erbrana dlá isčisléniá prédikatov s ravénstvom i funkcional′nymi simvolami. Doklady Akadémii Nauk SSSR, vol. 169 (1966), pp. 273–275. - G. E. Minc. Herbrand's theorem for the predicate calculus with equality and functional symbols. English translation of the preceding by Leo F. Boron. Soviet mathematics, vol. 7 no. 4 (1966), pp. 911–914.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 325
-
- Article
- Export citation
Other
Notice of a meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
-
- Article
- Export citation
Notice of the Notre Dame Journal of Formal Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
-
- Article
- Export citation
Reviews
Shôji Maehara. Cut-elimination theorem concerning a formal system for ramified theory of types which admits quantifications on types. Annals of the Japan Association for Philosophy of Science, vol. 2 no. 2 (1962), pp. 55–64.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 325
-
- Article
- Export citation
Other
Notice of a meeting of the Second Scandinavian Logic Symposium
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 187
-
- Article
- Export citation
Reviews
H. Hiż. Inferential equivalence and natural deduction. The journal of symbolic logic, vol. 22 (1957), pp. 237–240.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 325
-
- Article
- Export citation
Front matter
JSL volume 35 issue 1 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Reviews
Masao Ohnishi and Kazuo Matsumoto. A system for strict implication. Proceedings of the Symposium on the Foundations of Mathematics, held at Katada, Japan, 1962, Sponsored jointly by The Division of the Foundations of Mathematics of the Mathematical Society of Japan, The Sugaku Shinkokai, and The Toyo Spinning Company, Tokyo1963, pp. 99–108. (Reprinted in Annals of the Japan Association for Philosophy of Science, vol. 2 no. 4 (1964), pp. 183–188.)
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 326
-
- Article
- Export citation
William H. Hanson. On some alleged decision procedures for S4. The journal of symbolic logic, vol. 31 (1966), pp. 641–643.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 326
-
- Article
- Export citation
Back matter
JSL volume 35 issue 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b7
-
- Article
-
- You have access
- Export citation
Reviews
Richard L. Call. A minimal canonically complete M-valuedproper logic for each M. The journal of symbolic logic, vol. 33 (1968), pp. 108–110.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 326
-
- Article
- Export citation
Vladimir Devidé. Matematická logika. Prvi dio (Klasična logika sudová). (Mathematical logic. Part I (The classical logic of propositions).) Croatian with English summary. Posebna Izdanja Matematičkog Instituta, Belgrade1964, 228 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 326-329
-
- Article
- Export citation
Henri Moscovici and Dan Radu. Application de la théorie des catégories dans la logique formelle. Revue roumaine de mathématiques pures et appliquées, vol. 9 (1964), pp. 971–977.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 329
-
- Article
- Export citation
Eugen Mihăilescu. Forme normale in ansamblul S(C) (Formes normales dans l'ensembles S(C)). Roumanian with Russian and French summaries. Buletin ştiinţific, Secţia de ştiinţe matematice şi fizice, vol. 8 (1956), pp. 329–361. - Eugen Mihăilescu. Generalization of some normal forms.Revue de mathématiques pures et appliquées, vol. 8 no. 1 (1963), pp. 101–115.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 329
-
- Article
- Export citation
W. V. Quine. On cores and prime implicants of truth functions. Selected logic papers, Random House, New York1966, pp. 164–171. (Reprinted from The American mathematical monthly, vol. 66 (1959), pp. 755–760.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 329-330
-
- Article
- Export citation
F. I. Andon. Ob odnom podhodé k minimizacii sistém bulévyh funkcij (On one approach to the minimization of systems of Boolean functions). Kibérnétika (Kiev), no. 5 (1966), pp. 44–48. - F. I. Andon. Algoritm uproščéniá d.n.f. bulévyh funckij (A simplification alogrithm of a disjunctive normal form of the Boolean functions). Kibérnétika (Kiev), no. 6 (1966), pp. 12–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
-
- Article
- Export citation
Paul Lorenzen. Einführung in die operative Logik und Mathematik. Second edition of XXII 289, with minor revisions. Die Grundlehren der mathematischen Wissenschaften, vol. 78. Springer-Verlag, Berlin-Heidelberg-New York1969, VIII + 298 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
-
- Article
- Export citation
Saul A. Kripke. Semantical analysis of intuitionistic logic I. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Series in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 92–130.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 330-332
-
- Article
- Export citation
Luitzen Egbertus Jan Brouwer. On the significance of the principle of excluded middle in mathematics, especially in function theory, English translation of 15516 by Stefan Bauer-Mengelberg and Jean van Heijenoort. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Massachusetts, 1967, pp. 334–341. Addenda and corrigenda, English translation of XXIV 189(12) by Stefan Bauer-Mengelberg, Claske M. Berndes Franck, Dirk van Dalen, and Jean van Heijenoort. Ibid., pp. 341–342. Further addenda and corrigenda. English translation of XXIV 189(13) by Stefan Bauer-Mengelberg, Dirk van Dalen, and Jean van Heijenoort. Ibid., pp. 342–345. - Luitzen Egbertus Jan Brouwer. On the domains of definition of functions. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Massachusetts, 1967, pp. 446–463. English translation of §§1–3 of Über Definitionsbereiche von Funktionen (Mathematische Annalen, vol. 97 (1926–27), pp. 60–75) by Stefan Bauer-Mengelberg. - Luitzen Egbertus Jan Brouwer. Intuitionistic reflections on formalism. English translation of §1 of 15520 by Stefan Bauer-Mengelberg. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Massachusetts, 1967, pp. 490–492.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 332-333
-
- Article
- Export citation
G. Kreisel. The axiom of choice and the class of hyperarithmetic functions. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 65 (1962), pp. 307–319; also Indagationes mathematicae, vol. 24 (1962), pp. 307–319.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 333-334
-
- Article
- Export citation