Contents
Reviews
A. F. Pixley. Distributivity and permutability of congruence relations in equational classes of algebras. Proceedings of the American Mathematical Society, vol. 14 (1963), pp. 105–109.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 762
-
- Article
- Export citation
V. V. Višin. Toždéstvénnyé préobrazovaniá v čétyréhznačnoj logiké. Doklady Akadémii Nauk SSSR, vol. 150 (1963), pp. 719–721. - V. V. Višin. Identical transformations in four-place logic. English translation of the preceding by J. N. Whitney. Soviet mathematics, vol. 4 no. 3 (1963), pp. 724–726. - V. L. Murskij. Suščéstvovanié v tréhznačnoj logiké zamknutogo klassa s konéčnym bazisom, ne iméúščégo konéčnoj polnoj sistémy toždéstv. Doklady Akadémii Nauk SSSR, vol. 163 (1965), pp. 815–818. - V. L. Murskiǐ. The existence in three-valued logic of a closed class with finite basis, not having a finite complete system of identities. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 6 (1965), pp. 1020–1024.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 762-763
-
- Article
- Export citation
J. L. Bell and A. B. Slomson. Models and ultraproducts: An introduction. North-Holland Publishing Company, Amsterdam and London1969, IX + 322 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 763-764
-
- Article
- Export citation
Jörg Flum. A remark on infinitiary languages. The journal of symbolic logic, vol. 36 no. 3 (for 1971, pub. 1972), pp. 461–462.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 764
-
- Article
- Export citation
S. Feferman and G. Kreisel. Persistent and invariant formulas relative to theories of higher order. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 480–485. - Solomon Feferman. Persistent and invariant formulas for outer extensions. Logic and foundations of mathematics, Dedicated to Prof. A. Heyting on his 70th birthday, Wolters-Noordhoff Publishing, Groningen1968, pp. 29–52; also Compositio mathematica, vol. 20 (1968), p. 29–52.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 764-765
-
- Article
- Export citation
Andrzej Mostowski. Recent results in set theory. Problems in the philosophy of mathematics, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 1, edited by Imre Lakatos, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1967, pp. 82–96. - G. Kreisel, A. Robinson, L. Kalmár, and A. Mostowski. Discussion. Problems in the philosophy of mathematics, Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, volume 1, edited by Imre Lakatos, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1967, pp. 97–108. - Andrzej Mostowski. O niektórych nowych wynikach meta-matematycznych dotyczących teorii mnogości (On some new metamathematical results concerning set theory). Polish with Russian and English summaries. Studia logica, vol. 20 (1967), pp. 99–116.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 765-766
-
- Article
- Export citation
P. C. Gilmore. An alternative to set theory. The American mathematical monthly, vol. 67 (1960), pp. 621–632. - P. C. Gilmore. The monadic theory of types in the lower predicate calculus. 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. 309–312.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 766-767
-
- Article
- Export citation
Ernst-Jochen Thiele. Ein axiomatisches System der Mengenlehre nach Zermelo und Fraenkel. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 173–195.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 767-768
-
- Article
- Export citation
Willard Van Orman Quine. Set theory and its logic. The Belknap Press of Harvard University Press, Cambridge, Mass., 1963, xv + 359 pp.; also revised edition, ibid., 1969, xvii + 361 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 768-769
-
- Article
- Export citation
Charles Parsons. A note on Quine's treatment of transfinite recursion. The journal of symbolic logic, vol. 29 no. 4 (for 1964, pub. 1965), pp. 179–182.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 769
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 770-774
-
- Article
- Export citation
Meeting Report
Meeting of the Association for Symbolic Logic, St. Louis 1972
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 775-782
-
- Article
- Export citation
Other
Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 783-824
-
- Article
- Export citation
Notices of meetings of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 825
-
- Article
- Export citation
Logic colloquium and meeting of the association for symbolic logic, Bristol, England, 1973
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 825
-
- Article
- Export citation
Front matter
JSL volume 37 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f4
-
- Article
-
- You have access
- Export citation