Contents
Reviews
Janusz Chmielewski. Notes on early Chinese logic. Rocznik orientalistyczny, vol. 26 no. 1 (1962), pp. 7–21, no. 2 (1963), pp. 91–105, vol. 27 no. 1 (1963), pp. 103–121, and vol. 28 no. 2 (1965), pp. 87–111.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 751-752
-
- Article
- Export citation
Janusz Chmielewski. La logica degli antichi Cinesi. Rivista degli studi orientali, vol. 38 (1963), pp. 161–168.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 752
-
- Article
- Export citation
M. E. Szabo. Biographical sketch. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. vii–viii. - M. E. Szabo. Introduction. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 1–28. - Gerhard Gentzen. On the existence of independent axiom systems for infinite sentence systems. Englische Übersetzung von 4427. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 29–52. - Gerhard Gentzen. On the relation between intuitionist and classical arithmetic. Englische Übersetzung des Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik (unveröffentlicht). The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 53–67. - Gerhard Gentzen. Investigations into logical deduction. Neudruck von XXXV 144 mit geringen Änderungen. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 68–131. - Gerhard Gentzen. The consistency of elementary number theory. Englische Übersetzung von I 75. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 132–201. - Gerhard Gentzen. Appendix to #4. Englische Übersetzung der bisher unveröffentlichten ersten Version von 14.1–16.11 des vorhergehenden Werkes. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 201–213. - Gerhard Gentzen. The consistency of the simple theory of types. Englische Übersetzung von I 119.The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 214–222. - Gerhard Gentzen. The concept of infinity in mathematics. Englische Übersetzung von II 95. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 223–233. - Gerhard Gentzen. The present state of research into the foundations of mathematics. Englische Übersetzung von III 166. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 234–251. - Gerhard Gentzen. New version of the consistency proof for elementary number theory. Englische Übersetzung von IV 31. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 252–286. - Gerhard Gentzen. Provability and nonprovability of restricted transfinite induction in elementary number theory. Englische Übersetzung von IX 70. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 287–308. - Gerhard Gentzen. Fusion of several complete inductions. Englische Übersetzung des Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen, Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 1 (1954), S. 1–3. Ebd., S. 309–311. (Deutsches Original auch veröffentlicht in Archiv für Philosophie, Bd. 5 Heft 1 (1954), S. 81–83.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 752-753
-
- Article
- Export citation
Atwell R. Turquette. Modality, minimality, and many-valuedness. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki 1963, pp. 261–276.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 753-754
-
- Article
- Export citation
G. E. Hughes and M. J. Cresswell. An introduction to modal logic. A second printing, with corrections, of XXXVI 328. Methuen and Co Ltd, London, and Barnes and Noble, Inc., New York, 1972, xii + 388 pp.; also a University Paperback, ibid. 1972, xii + 388 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 754
-
- Article
- Export citation
Gerald J. Massey. Four simple systems of modal propositional logic. Philosophy of science, vol. 32 (1965), pp. 342–355.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 754
-
- Article
- Export citation
Anjan Shukla. Decision procedures for Lewis system S1 and related modal systems. Notre Dame journal of formal logic, vol. 11 (1970), pp. 141–180.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 754-755
-
- Article
- Export citation
Hugues Leblanc. Boolean algebra and the propositional calculus. Mind, n.s. vol. 71 (1962), pp. 383–386.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 755
-
- Article
- Export citation
Hugues Leblanc. The algebra of logic and the theory of deduction. The journal of philosophy, vol. 58 (1961), pp. 553–558.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 755
-
- Article
- Export citation
M. D. Gladstone. On the number of variables in the axioms. Notre Dame journal of formal logic, vol. 11 (1970), pp. 1–15.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 755-756
-
- Article
- Export citation
Vladimir G. Kirin. On the polynomial representation of operators in the n-valued propositional calculus. Glasnik matematičko-fizički i astronomski (Periodicum mathematico-physicum et astronomicum), ser. 2 vol. 18 (1963), pp. 3–12.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 756
-
- Article
- Export citation
A. V. Kuznecov. Undecidability of the general problems of completeness, decidability and equivalence for propositional calculi. English translation of XXXVII 772 by E. Mendelson. American Mathematical Society translations, ser. 2 vol. 59 (1966), pp. 56–72.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 756-757
-
- Article
- Export citation
A. V. Kuznécov and V. Á. Gérčiu. O supérintuicionistskih logikah i finitnoj approksimiruémosti. Doklady Akadémii Nauk SSSR, vol. 195 (1970), pp. 1029–1032. - A. V. Kuznecov and V. A. Gerčiu. Superintuitionistic logics and finite approximability. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 11 no. 6 (for 1970, pub. 1971), pp. 1614–1619.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 757
-
- Article
- Export citation
Frederic B. Fitch. A note on recursive relations. The journal of symbolic logic, vol. 33 (1968), p. 107.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 758
-
- Article
- Export citation
Yiannis N. Moschovakis. Abstract first order computability. Transactions of the American Mathematical Society, vol. 138 (1969), pp. 427–464 and pp. 465–504.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 758
-
- Article
- Export citation
Peter G. Hinman. Hierarchies of effective descriptive set theory. Transactions of the American Mathematical Society, vol. 142 (1969), pp. 111–140.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 758-759
-
- Article
- Export citation
J. Hartmanis. Context-free languages and Turing machine computations. Mathematical aspects of computer science, Proceedings of symposia in applied mathematics, vol. 19, American Mathematical Society, Providence1967, pp. 42–51.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 759
-
- Article
- Export citation
C. Boucher. Leçons sur la théorie des automates mathématiques. Lecture notes in operations research and mathematical systems, no. 46, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, VIII + 193 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 759-760
-
- Article
- Export citation
Robert McNaughton. The theory of automata, a survey. Advances in computers, Volume 2, edited by Franz L. Alt, Academic Press, New York and London1961, pp. 379–421.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 760
-
- Article
- Export citation
H. Allen Curtis. A functional canonical form. Journal of the Association for Computing Machinery, vol. 6 (1959), pp. 245–258. - H. Allen Curtis. Multifunctional circuits in functional canonical form. Journal of the Association for Computing Machinery, vol. 6 (1959), pp. 538–547. - H. Allen Curtis. A new approach to the design of switching circuits. D. Van Nostrand Company, Inc., Princeton-Toronto-London-New York, 1962, viii + 635 pp. - R. L. Ashenhurst. The decomposition of switching functions. Therein, pp. 571–602. - Theodore Singer. The decomposition chart as a theoretical aid. Therein, pp. 602–620.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 760-762
-
- Article
- Export citation