Reviews
Erwin Engeler. Zur Beweistheorie von Sprachen mit unendlich langen Formeln. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 213–218.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 685
-
- Article
- Export citation
H. Jerome Keisler. Logic with the quantifier “there exist uncountably many.”Annals of mathematical logic, vol. 1 no. 1 (1970), pp. 1–93.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 685-687
-
- Article
- Export citation
K. L. de Bouvère. A mathematical characterization of explicit definability. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 66 (1963), pp. 264–274; also Indagationes mathematicae, vol. 25 (1963), pp. 264–274.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 687
-
- Article
- Export citation
Yosmndo Suzuki. On the uniformization principle. 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. 137–144.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 687
-
- Article
- Export citation
Yoshindo Suzuki. A complete classification of the -functions. Bulletin of the American Mathematical Society, vol. 70 (1964), pp. 246–253.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 688
-
- Article
- Export citation
A. Mostowski. Quelques applications de la topologie à la logique mathématique. Topologie, Volume I, 4th edn., by Casimir Kuratowski, Państwowe Wydawnictwo Naukowe, Warsaw1958, pp. 470–477.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 688
-
- Article
- Export citation
Richard Montague. Theories incomparable with respect to relative interpretability. The journal of symbolic logic, vol. 27 no. 2 (for 1962, pub. 1963), pp. 195–211.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 688
-
- Article
- Export citation
Jerzy Słupecki and Witold A. Pogorzelski. A variant of the proof of the completeness of the first order functional calculus. English with Polish and Russian summaries. Studia logica, vol. 12 (1961), pp. 125–134.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 688-689
-
- Article
- Export citation
Roman Suszko. A note concerning the binary quantifiers. Theoria (Lund), vol. 28 (1962), pp. 269–276.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 689
-
- Article
- Export citation
J. Kent Minichiello. An extension of negationless logic. Notre Dame journal of formal logic, vol. 10 no. 3 (1969), pp. 298–302.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 689
-
- Article
- Export citation
Wolfgang E. Spiess and Friedrich G. Rheingans. Einführung in das Programmieren in FORTRAN. Walter de Gruyter & Co, Berlin1970, 195 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 689
-
- Article
- Export citation
Alex Blum. The missing premiss. Notre Dame journal of formal logic, vol. 11 (1970), pp. 203–204.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 689
-
- Article
- Export citation
Elvin Rasof. The Carrollian Matrix. Notre Dame journal of formal logic, vol. 11 (1970), pp. 497–504.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 689
-
- Article
- Export citation
Richard Tursman. The shortest axioms of the implicational calculus. Notre Dame journal of formal logic, vol. 9 no. 4 (for 1968, pub. 1969), pp. 351–358.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 690
-
- Article
- Export citation
Alan Rose. Extensions of some theorems of Schmidt and McKinsey, I. Norsk matematisk tidsskrift, vol. 34 (1952), pp. 1–9.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 690
-
- Article
- Export citation
Alan Rose. An alternative generalisation of the concept of duality. Mathematische Annalen, vol. 147 (1962), pp. 318–327.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 690-691
-
- Article
- Export citation
A. A. Zinov'év. Ob odnom sposobé obzora funkcij istinnosti n-značnogo isčisléniá vyskazyvanij (A method of describing the truth-functions of the n-valued propositional calculus). Russian with Polish and English summaries. Studia logica, vol. 11 (1961) pp. 217–222.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 691
-
- Article
- Export citation
R. L. Graham. On n-valued functionally complete truth functions. The journal of symbolic logic, vol. 32 (1967), pp. 190–195.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 691
-
- Article
- Export citation
Gerald J. Massey. Binary closure-algebraic operations that are functionally complete. Notre Dame journal of formal logic, vol. 11 (1970), pp. 340–342.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 691
-
- Article
- Export citation
Bolesław Sobociński. Note on G. J. Massey's closure-algebraic operation. Notre Dame journal of formal logic, vol. 11 (1970), pp. 343–346.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 691
-
- Article
- Export citation