Contents
Reviews
Akiko Kino. A consistency-proof of a formal theory of Ackermann's ordinal numbers. Journal of the Mathematical Society of Japan, vol. 10 (1958), pp. 287–303.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 392
-
- Article
- Export citation
R. Sikorski. Distributivity and representability. Fundamenta mathematicae, vol. 48 no. 1 (1959), pp. 91–103.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 392-393
-
- Article
- Export citation
R. Sikorski. Repressentation and distributivity of Boolean algebras. Colloquium mathematicum, vol. 8 (1961), pp. 1–13.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 393
-
- Article
- Export citation
Carol R. Karp. A note on the representation of α-complete Boolean algebras. Proceedings of the American Mathematical Society, vol. 14 (1963), pp. 705–707.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 393
-
- Article
- Export citation
A. I. Mal′cév. Ob odnom sootvétstvii méždu kol′cami i gruppami (On a correspondence between rings and groups). Matématičéskij sbornik, n.s. vol. 50 (1960), pp. 257–266.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 393-394
-
- Article
- Export citation
A. I. Mal′cév. Nérazréšimost′ eléméntarnoj téorii konéčnyh grupp. Doklady Akadémii Nauk SSSR, vol. 138 (1961), pp. 771–774. - A. I. Mal′cev. Undecidability of the elementary theory of finite groups. English translation of the preceding by A. J. Lohwater. Soviet mathematics, vol. 2 no. 3 (1961), pp. 714–717.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 394
-
- Article
- Export citation
A. I. Mal′cev. Efféktivnaá néotdélimost′ množéslva toždéstvénno istinnyh i množèstva konéčno oprovéržimyh formul eléméntamyh téorij. Doklady Akadémii Nauk SSSR, vol. 139 (1961), pp. 802–805. - A. I. Mal′cev. Effective inseparability of the set of identically true from the set of finitely refutable formulae of certain elementary theories. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 2 no. 4 (for 1961, pub. 1962), pp. 1005–1008.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 394-395
-
- Article
- Export citation
A. I. Mal′cév. O nérazréšimosti éléméntarnyh téorij nékotoryh poléj (On the undecidability of the elementary theories of certain fields). Sibirskij matématičéskij žurnal, vol. 1 (1960), pp. 71–77. - A. I. Mal′cév. Zaméčanié k stat′é “O nérazréšimosti élémintarnyh téorij nékotoryh poléj” (Remark on the paper “On the undecidability of the elementary theories of certain fields”). Sibirskij matématičéskij žurnal, vol. 2 (1961), p. 639.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 395-397
-
- Article
- Export citation
Klaus Härtig. Einbettung elementarer Theorien in endlich Axiomatisierbare. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 249–292.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 397-398
-
- Article
- Export citation
Paul J. Cohen. The independence of the continuum hypothesis. Proceedings of the National Academy of Sciences of the United States of America, vol. 50 (1963), pp. 1143–1148, and vol. 51 (1964), pp. 105–110.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 398-403
-
- Article
- Export citation
Other
Notices of meetings of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 403
-
- Article
- Export citation
List of officers and members of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 404-427
-
- Article
- Export citation
Front matter
JSL volume 30 issue 3 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back matter
JSL volume 30 issue 3 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
-
- Article
-
- You have access
- Export citation