Contents
Reviews
Walter Felscher. Zur Algebra unendlich longer Zeichenreihen. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 5–16.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 157
-
- Article
- Export citation
G. É. Minc. Analog téorémy Erbrana dlá néprédvarénnyh formul konstruktivnogo isčisléniá prédikatov. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, I, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Matématičéskogo Instituta im. V. A. Stéklova AN SSSR (LOMI), vol. 4, Moscow1967, pp. 123–133. - G. E. Mints. Analog of Herbrand's theorem for [non] prenex formulas of constructive predicate calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part I, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 4, Consultants Bureau, New York1969. pp. 47–51. (See Erratum, Studies in constructive mathematics and mathematical logic, Part II edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London 1970, p. 136.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 525-526
-
- Article
- Export citation
C. G. McKay. The non-separability of a certain finite extension of Heyting's propositional logic. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 71 (1968), pp. 312–315; also Indagationes mathematica«, vol. 30 (1968), pp. 312–315.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 331
-
- Article
- Export citation
Roman Sikorski. Products of generalized algebras and products of realizations. Colloquium mathematicum, vol. 10 (1963), pp. 1–13.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 682
-
- Article
- Export citation
Dana Scott. Logic with denumerably long formulas and finite strings of quantifiers. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 329–341.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 157-158
-
- Article
- Export citation
Aubert Daigneault. Tensor products of polyadic algebras. The journal of symbolic logic, t. 28 n° 3 (pour 1963, pub. 1964), p. 177–200.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 683
-
- Article
- Export citation
C. C. Chang. Logic with positive and negative truth values. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki1963, pp. 19–39.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 331-332
-
- Article
- Export citation
G. É. Minc. Skolèmovskij métod eliminacii položitél'nyh kvantorov v sékvéncial'nyh isčisléniáh. Doklady Akadémii Nauk SSSR, vol. 169 (1966), pp. 24–27. - G. E. Minc. Skolem's method of elimination of positive quantifiers in sequential calculi. English translation of the preceding by L. Ebner. Soviet mathematics, vol. 7 no. 4 (1966), pp. 861–864.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 526-527
-
- Article
- Export citation
L. P. Belluce and C. C. Chang. A weak completeness theorem for infinite valued first-order logic. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 43–50.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 332
-
- Article
- Export citation
James Ax and Simon Kochen. Diophantine problems over local fields I. American journal of mathematics, vol. 87 (1965), pp. 605–630. - James Ax and Simon Kochen. Diophantine problems over local fields II. A complete set of axioms for p-adic number theory. American journal of mathematics, vol. 87 (1965), pp. 631–648. - James Ax and Simon Kochen. Diophantine problems over local fields III. Decidable fields. Annals of mathematics, vol. 83 (1966), pp. 437–456.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 683-684
-
- Article
- Export citation
G. É. Minc. Dizúnktivnaá intérprétaciá isčisléniá LJ. Isslédovaniá po konstruktivnoj matématiké i matématičéskoj logiké, II, edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta im. V. A. Stéklova AN SSSR, vol. 8, Izdatél′stvo “Nauka,” Leningrad 1968, pp. 182–188. - G. E. Mints. Disjunctive interpretation of the LJ calculus. English translation of the preceding. Studies in constructive mathematics and mathematical logic, Part II, edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, vol. 8, Consultants Bureau, New York-London1970, pp. 86–89.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 527-528
-
- Article
- Export citation
Carol R. Karp. Finite-quantifier equivalence. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 407–412.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 158
-
- Article
- Export citation
Kiyoshi Iséki. On the cut operation in Gentzen calculi. Proceedings of the Japan Academy, vol. 32 (1956), pp. 719–721, and vol. 33 (1957), pp. 98–99.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 528
-
- Article
- Export citation
L. P. Belluce. Further results on infinite valued predicate logic. The journal of symbolic logic, vol. 29 (1964), pp. 69–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 332
-
- Article
- Export citation
James Ax. On the undecidability of power series fields. Proceedings of the American Mathematical Society, vol. 16 (1965), p. 846.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 684
-
- Article
- Export citation
J. Heidema and A. P. J. van der Walt. Contributions to the metamathematical theory of ideals. I. Domains with dense kernel. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 70 (1967), pp. 156–162; also Indagationes mathematicae, vol. 29 (1967), pp. 156–162. - J. Heidema. Contributions to the metamathematical theory of ideals. II. Metamathematical prime ideals and radicals. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, vol. 71 (1968), pp. 280–285; also ibid., vol. 30 (1968), pp. 280–285.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 158-159
-
- Article
- Export citation
J. P. Ressayre. Sur les théories du premier ordre catégoriques en un cardinal. Transactions of the American Mathematical Society, vol. 142 (1969), pp. 481–305.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 684-685
-
- Article
- Export citation
Vito F. Sinisi. Arbitrarily selected individuals in natural deduction. Analysis (Oxford), vol. 23 (1963), pp. 88–90.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 528
-
- Article
- Export citation
C. C. Chang. Algebraization of infinitely many-valued logic. 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. 144–146. - C. C. Chang. Algebraic analysis of many valued logics. Transactions of the American Mathematical Society, vol. 88 (1958), pp. 467–490. - C. C. Chang. A new proof of the completeness of the Łukasiewicz axioms. Transactions of the American Mathematical Society, vol. 93 (1959), pp. 74–80.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-160
-
- Article
- Export citation
Peter Nidditch. A note on the redundant axiom of Principia mathematica. Mind, n.s. vol. 69 (1960), pp. 251–252.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 332-333
-
- Article
- Export citation