13629 results in The Journal of Symbolic Logic
JSL volume 31 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 1966
-
- Article
-
- You have access
- Export citation
Roman Sikorski. A few problems on Boolean algebras. Colloquium mathematicum, vol. 11 no. 1 (1963), pp. 25–28.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 663-664
- Print publication:
- December 1966
-
- Article
- Export citation
List of officers and members of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 707-737
- Print publication:
- December 1966
-
- Article
- Export citation
Shôji Maehara. Remark on Skolem's theorem concerning the impossibility of characterization of the natural number sequence. Proceedings of the Japan Academy, vol. 33 (1957), pp. 588–590.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 659
- Print publication:
- December 1966
-
- Article
- Export citation
Hilary Putnam. Axioms of class existence. 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. 271–274.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 663
- Print publication:
- December 1966
-
- Article
- Export citation
Finite models for inequations1
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 581-592
- Print publication:
- December 1966
-
- Article
- Export citation
Hisao Yamada. Real-time computation and recursive functions not real-time computable. IRE transactions on electronic computers, vol. EC-11 (1962), pp. 753–760.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 656-657
- Print publication:
- December 1966
-
- Article
- Export citation
Akira Nakamura. On the infinitely many-valued double-threshold logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 93–101. - Akira Nakamura. On a certain system of modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 203–207.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 665
- Print publication:
- December 1966
-
- Article
- Export citation
Finite nest structures and propositional logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 322-324
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Notice of the new quarterly Nous
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 524
- Print publication:
- 02 September 1966
-
- Article
- Export citation
JSL volume 31 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- 02 September 1966
-
- Article
-
- You have access
- Export citation
H. Jerome Keisler. Reduced products and Horn classes. Transactions of the American Mathematical Society, vol. 117 (1965), pp. 307–328.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 507
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Shih-Chao Liu. A note on many-one reducibility. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 35–42.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 512
- Print publication:
- 02 September 1966
-
- Article
- Export citation
A supplement to Herbrand
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 393-398
- Print publication:
- 02 September 1966
-
- Article
- Export citation
David Greenwood. Quantitative inductive procedures. The nature of science and other essays, by David Greenwood, Philosophical Library, New York1959, pp. 32–43.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 494-496
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Erwin Engeler. Äquivalenzklassen von n-Tupeln. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 340–345.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 504
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Wacław Sadowski. Dowód aksjomatyzowalności pewnych n-wartościowych rachunków zdań (A proof of axiomatizability of certain n-valued sentential calculi). Polish, with Russian and English summaries. Studia logica, vol. 15 (1964), pp. 25–36.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 501
- Print publication:
- 02 September 1966
-
- Article
- Export citation
Hartley RogersJr., On universal functions. Proceedings of the American Mathematical Society, vol. 16 (1965), pp. 39–44.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 513
- Print publication:
- 02 September 1966
-
- Article
- Export citation
The impossibility of finding relative complements for recursively enumerable degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 434-454
- Print publication:
- 02 September 1966
-
- Article
- Export citation
On definability of ordinals in logic with infinitely long expressions1
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 3 / 02 September 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 365-375
- Print publication:
- 02 September 1966
-
- Article
- Export citation