Contents
Reviews
J. Jay Zeman. Bases for S4 and S4.2 without added axioms. Notre Dame journal of formal logic, vol. 4 (1963), pp. 227–230.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 328
-
- Article
- Export citation
Wolfgang Stegmüller. Eine Axiomatisierung der Mengenlehre, beruhend auf den Systemen von Bernays und Quine. Logik und Logikkalkül, edited by Max Käsbauer and Franz von Kutschera, Verlag Karl Alber, Freiburg and Munich1962, pp. 57–103.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-152
-
- Article
- Export citation
W. Craig. Analysis of first-order implications. 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. 175–180.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 519
-
- Article
- Export citation
Yiannis N. Moschovakis. The game quantifier. Proceedings of the American Mathematical Society, vol. 31 (1972), pp. 245–250.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 653
-
- Article
- Export citation
M. J. Cresswell. The completeness of S0.5. Logique et analyse, n.s. vol. 9 (1966), pp. 263–266. - Richard Routley. The decidability and semantical incompleteness of Lemmon's system S0.5. Logique et analyse, vol. 11 (1968), pp. 413–421. - M. J. Cresswell. Note on the interpretation of SO.5. Logique et analyse, vol. 13 (1970), pp. 376–378. - M. K. Rennie. Remark on Cresswell on S0.5. Logique et analyse, vol. 14 (1971), pp. 757–758.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 328-329
-
- Article
- Export citation
George S. Boolos. A proof of the Löwenheim-Skolem theorem. Notre Dame journal of formal logic, vol. 11 (1970), pp. 76–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 519
-
- Article
- Export citation
Thomas J. Grilliot. Selection functions for recursive functionals. Notre Dame journal of formal logic, vol. 10 (1969), pp. 225–234.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 653-654
-
- Article
- Export citation
P. Erdös and A. Hajnal. On the structure of set-mappings. Acta mathematica Academiae Scientiarum Hungaricae, vol. 9 (1958), pp. 111–131. - P. Erdös and A. Hajnal. Some remarks concerning our paper “On the structure of set-mappings”.—Non-existence of a two-valued σ-measure for the first uncountable inaccessible cardinal. Acta mathematica Academiae Scientiarum Hungaricae, vol. 13 (1962), pp. 223–226.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 152-153
-
- Article
- Export citation
Thomas J. Grilliot. Inductive definitions and computability. Transactions of the American Mathematical Society, vol. 158 (1971), pp. 309–317.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 654
-
- Article
- Export citation
L. Rieger. On the consistency of the generalized continuum hypothesis. Rozprawy matematyczne no. 31. Państwowe Wydawnictwo Naukowe, Warsaw1963, 45 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 153
-
- Article
- Export citation
R. Routley. Decision procedures and semantics for C1, E1 and S0.50. Logique et analyse, n.s. vol. 11 (1968), pp. 468–471.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 329
-
- Article
- Export citation
R. Zane Parks. On formalizing Aristotle's theory of modal syllogisms. Notre Dame journal of formal logic, vol. 13 (1972), pp. 385–386.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 519-520
-
- Article
- Export citation
J. Myhill. Category methods in recursion theory. Pacific journal of mathematics, vol. 11 (1961), pp. 1479–1486.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 654
-
- Article
- Export citation
Kit Fine. Propositional quantifiers in modal logic. Theoria, vol. 36 (for 1970, pub. 1971), pp. 336–346.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 329
-
- Article
- Export citation
David Makinson. A generalisation of the concept of a relational model for modal logic. Theoria (Lund), vol. 36 (for 1970, pub. 1971), pp. 331–335.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 520
-
- Article
- Export citation
Vlad Boicescu. Sur la représentation des algèbres de Lukasiewicz n-valentes. Comptes rendus hebdomadaires des séances de l'Acaéimie des Sciences, sér. A t. 270 (1970), p. 4–7.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 153
-
- Article
- Export citation
James Rosenberg. The application of ternary semigroups to the study of n-valued Sheffer functions. Notre Dame journal of formal logic, vol. 10 (1969), pp. 90–94.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 520
-
- Article
- Export citation
Marian Boykan Pour-El. Independent axiomatization and its relation to the hypersimple set. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 14 (1968), pp. 449–456.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 654-655
-
- Article
- Export citation
David Makinson. Aspectos de la lógica modal. Universidad Nacional del Sur, Instituto de Matemática, Bahía Blanca1971, title pages + III + 131 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
-
- Article
- Export citation
Giulio Andreoli. Proprietà delle funzioni simmetriche elementari nelle algebre di Boole e nelle algebre dei livelli. La ricerca (Naples), vol. 10 ser. 2 (10.–Dec. 1959), pp. 1–10.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 153-154
-
- Article
- Export citation