Contents
Reviews
W. Hanf. Model-theoretic methods in the study of elementary logic. 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. 132–145.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 127-128
-
- Article
- Export citation
J.-L. Destouches. Sur la mécanique classique et l'intuitionnisme. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 54 (1951), pp. 74–79; also ibid., pp. 74-79.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 307
-
- Article
- Export citation
M. A. Gavrilov. Sovréménnoé sostoánié téorii réléjnyh ustrojstv (The present state of the theory of relay circuits). Strukturnaá téoriá réléjnyh ustrojstv, Izdatél′stvo Akadémii Nauk, SSSR, Moscow1963, pp. 5–73.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 511-512
-
- Article
- Export citation
Other
Symposium on mathematical logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 663
-
- Article
- Export citation
Reviews
J. Santos and H. Arango. La operación puente en las álgebras de Boole. Actas de las X jornadas, Unión Matemática Argentina, Instituto de Matemáticas, Universidad Nacional del Sur, Bahía Blanca1957, pp. 25–28.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 512
-
- Article
- Export citation
Other
Notice of the national science foundation
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 663
-
- Article
- Export citation
Reviews
Richard E. Vesley. On strengthening intuitionistic logic. Notre Dame journal of formal logic, vol. 4 (1963), p. 80.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 307
-
- Article
- Export citation
A. Mostowski. A class of models for second order arithmetic. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 7 (1959), pp. 401–404. - A. Mostowski. Formal system of analysis based on an infinitistic rule of proof. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 141–166.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 128-129
-
- Article
- Export citation
Katuzi Ono. On a practical way of describing formal deductions. Nagoya mathematical journal, vol. 21 (1962), pp. 115–121. - Katuzi Ono. New formulation of the axiom of choice by making use of the comprehension operator. Nagoya mathematical journal, vol. 23 (1963), pp. 53–71.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 307
-
- Article
- Export citation
Other
Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 664-701
-
- Article
- Export citation
Reviews
H. Jerome Keisler. Finite approximations of infinitely long formulas. 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. 158–169. - H. Jerome Keisler. Some applications of infinitely long formulas. The journal of symbolic logic, vol. 30 (1965), pp. 339–349.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-130
-
- Article
- Export citation
Chen Chung Chang and Alfred Horn. Prime ideal characterization of generalized Post algebras. Lattice theory, Proceedings of symposia in pure mathematics, vol. 2 (1961), pp. 43–48.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 512
-
- Article
- Export citation
C. C. Chang and A. Horn. On the representation of α-complete lattices. Fundamenta mathematicae, vol. 51 (1962), pp. 253–258.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 512-513
-
- Article
- Export citation
Other
Index of Reviews
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 703-745
-
- Article
- Export citation
Reviews
Richard Montague. Two contributions to the foundations of set theory. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, California, 1962, pp. 94–110.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 308
-
- Article
- Export citation
J. R. Shoenfield. On a restricted ω-rule. Bulletin de l′Académie Polonaise des Sciences, Série des sciences, mathématiques, astronomiques et physiques, vol. 7 (1959), pp. 405–407.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 130-131
-
- Article
- Export citation
Paul R. Halmos. Naive set theory. D. Van Nostrand Company, Princeton1960, vii + 104 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 308
-
- Article
- Export citation
Front matter
JSL volume 34 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Reviews
Jens Erik Fenstad. On the completeness of some transfinite recursive progressions of axiomatic theories. The journal of symbolic logic, vol. 33 (1968), pp. 69–76.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 131
-
- Article
- Export citation
Bernard A. Galler. Cylindric andpolyadic algebras. Proceedings of the American Mathematical Society, vol. 8 (1957), pp. 176–183.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 513
-
- Article
- Export citation