13629 results in The Journal of Symbolic Logic
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 150-160
- Print publication:
- 26 April 1968
-
- Article
- Export citation
R. S. Pierce. A note on free algebras. Proceedings of the American Mathematical Society, vol. 14 (1963), pp. 845–846.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 125
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Richard B. Hurley. Transistor logic circuits. John Wiley & Sons, Inc., New York and London1961, xvi + 363 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 126-127
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Lennart Âqvist. Reflections on the logic of nonsense. Theoria (Lund), vol. 28 (1962), pp. 138–157. - Krister Segerberg. A contribution to nonsense-logics. Theoria (Lund), vol. 31 (1965), pp. 199–217.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 134-136
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Yoshindo Suzuki. Enumeration of recursive sets. The journal of symbolic logic, vol. 24 no. 4 (for 1959, pub. 1961), p. 311.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 115
- Print publication:
- 26 April 1968
-
- Article
- Export citation
W. V. Quine and Hao Wang. On ordinals. Bulletin of the American Mathematical Society, vol. 70 (1964), pp. 297–298.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 113
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Anthony P. Morse. A theory of sets. Academic Press, New York and London1965, xxxi + 130 pp. - Trevor J. McMinn. Foreword. Therein, pp. vii–xxiii.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 113
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Jan Łukasiewicz. Równoważnościowy rachunek zdaň. Polish translation of VI 115(1) by Egon Vielrose. edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 228–249.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 133
- Print publication:
- 26 April 1968
-
- Article
- Export citation
On the strong semantical completeness of the intuitionistic predicate calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-7
- Print publication:
- 26 April 1968
-
- Article
- Export citation
R. A. Bull. A note on the modal calculi S4.2 and S4.3. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 53–55. - R. A. Bull. A class of extensions of the modal system S4 with the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 127–132. - R. A. Bull. That all normal extensions of S4.3 have the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 341–344.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 136
- Print publication:
- 26 April 1968
-
- Article
- Export citation
E. W. Beth. Observations concerning computing, deduction, and heuristics. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 21–32.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 118
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Lennart Åqvist. Interpretations of deontic logic. Filosofiska studier tillägnade Konrad Marc-Wogau den 4 April 1962, edited by Ann-Mari Henschen-Dahlquist, mimeographcd, Filosofiska Föreningen i Uppsala, Uppsala1962, pp. 15–23.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 137
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Constructively accessible ordinal numbers1
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 43-55
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Yehoshua Bar-Hillel. Comments on ‘Degree of confirmation’ by Professor K. R. Popper. The British Journal for the philosophy of science, vol. 6 (1955–1956), pp. 155–157. - Karl R. Popper. ‘Content’ and ‘degree of confirmation’: A reply to Dr Bar-Hillel. The British Journal for the philosophy of science, vol. 6 (1955–1956), pp. 157–163. - Rudolf Carnap. Remarks on Popper's note on content and degree of confirmation. The British Journal for the philosophy of science, vol. 7 (1956–1957), pp. 243–244. - K. R. Popper. Reply to Professor Carnap. The British Journal for the philosophy of science, vol. 7 (1956–1957), pp. 244–245. - Y. Bar-Hillel. Further comments on probability and confirmation. A rejoinder to Professor Popper. The British Journal for the philosophy of science, vol. 7 (1956–1957), pp. 245–248. - K.R.Popper. Adequacy and consistency: A second reply to Dr Bar-Hillel. The British Journal for the philosophy of science, vol. 7 (1956–1957), pp. 249–256. - Peter Achinstein. The identity hypothesis. The British Journal for the philosophy of science, vol. 13 (1962–1963), pp. 167–171.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 142-146
- Print publication:
- 26 April 1968
-
- Article
- Export citation
J. C. Shepherdson. Machine configuration and word problems of given degree of unsolvability. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 69–80. - J. C. Shepherdson. Machine configuration and word problems of given degree of unsolvability. Zeitschrift für mathematlsche Logik und Grundlagen der Mathematik, vol. 11 (1965), pp. 149–175.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 120-121
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Ann Yasuhara. A remark on Post normal systems. Journal of the Association for Computing Machinery, vol. 14 (1967), pp. 167–171.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 116-117
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Andrzej Mostowski. Thirty years of foundational studies. Lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930–1964. Acta philosophica Fennica, no. 17, Helsinki 1965, and Barnes & Noble, Inc., New York1966, 180 pp.; second printing, Helsinki 1967, 180 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 111-112
- Print publication:
- 26 April 1968
-
- Article
- Export citation
F. C. Hennie. One-tape, off-line Turing machine computations. Information and control, vol. 8 (1965), pp. 553–578.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-120
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. v
- Print publication:
- 26 April 1968
-
- Article
-
- You have access
- Export citation
Tosiyuki Tugué. On predicates expressible in the 1-function quantifier forms in Kleene hierarchy with free variables of type 2. Proceedings of the Japan Academy, vol. 36 (1960), pp. 10–14. - Tosiyuki Tugué. Predicates recursive in a type-2 object and Kleene hierarchies. Commentarii mathematici Universitatis Sancti Pauli, vol. 8 (1960), pp. 97–117.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-116
- Print publication:
- 26 April 1968
-
- Article
- Export citation