13629 results in The Journal of Symbolic Logic
Hao Wang. Logic and computers. The American mathematical monthly, vol. 72(1965), pp. 135–140.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 264
- Print publication:
- June 1966
-
- Article
- Export citation
R. E. Stearns and J. Hartmanis. Regularity preserving modifications of regular expressions. Information and control, vol. 6 (1963), pp. 55–69.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 265
- Print publication:
- June 1966
-
- Article
- Export citation
Paul R. Halmos. Lectures on Boolean algebras. D. Van Nostrand Company, Inc., Princeton, Toronto, New York, and London, 1963, v + 147 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 253-254
- Print publication:
- June 1966
-
- Article
- Export citation
A minimal pair of recursively enumerable degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-168
- Print publication:
- June 1966
-
- Article
- Export citation
Tadeusz Batóg. A contribution to axiomatic phonology. English, with Polish and Russian summaries. Studia logica, vol. 13 (1962), pp. 67–80.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 251
- Print publication:
- June 1966
-
- Article
- Export citation
Herbert Enderton and David Luckham. Hierarchies over recursive well-orderings. The journal of symbolic logic, vol. 29 no. 4 (for 1964, pub. 1965), pp. 183–190.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 263
- Print publication:
- June 1966
-
- Article
- Export citation
H. A. Pogorzelski. Primitive words in an infinite abstract alphabet. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 193–198. - H. A. Pogorzelski. Skolem arithmetics on certain concrete word systems. Mathematica Scandinavica, vol. 14 (1964), pp. 93–105.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 271
- Print publication:
- June 1966
-
- Article
- Export citation
N. A. Šanin. On the constructive interpretation of mathematical judgments. English translation of XXXI 255 by Elliott Mendelson. American Mathematical Society translations, ser. 2 vol. 23 (1963), pp. 109–189. - A. A. Markov. On constructive functions. English translation of XXXI 258(1) by Moshe Machover. American Mathematical Society translations, vol. 29 (1963), pp. 163–195. - S. C. Kleene. A formal system of intuitionistic analysis. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 1–89. - S. C. Kleene. Various notions of realizability:The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 90–132. - Richard E. Vesley. The intuitionistic continuum. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 133–173. - S. C. Kleene. On order in the continuum. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 174–186. - S. C. Kleene. Bibliography.The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 187–199.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 258-261
- Print publication:
- June 1966
-
- Article
- Export citation
William C. Nemitz. Implicative semi-lattices. Transactions of the American Mathematical Society, vol. 117 (1965), pp. 128–142.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 273
- Print publication:
- June 1966
-
- Article
- Export citation
Decision problems for multiple successor arithmetics1
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 182-190
- Print publication:
- June 1966
-
- Article
- Export citation
Jan Łukasiewicz. Elementy logiki matematycznej (Elements of mathematical logic). Second edition of 1866. Państwowe Wydawnictwo Naukowe, Warsaw1958, 99 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 284
- Print publication:
- June 1966
-
- Article
- Export citation
Wilson E. Singletary. A complex of problems proposed by Post. Bulletin of the American Mathematical Society, vol. 70 (1964), pp. 105–109. See Correction, ibid., p. 826.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 273-274
- Print publication:
- June 1966
-
- Article
- Export citation
G. Kreisel. Mathematical significance of consistency proofs. The journal of symbolic logic, vol. 23 no. 2 (for 1958, pub. 1959), pp. 155–182.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 129
- Print publication:
- March 1966
-
- Article
- Export citation
C. Spector. Hyperarithmetical quantifiers. Fundamenta mathematicae, vol. 48 no. 3 (1960), pp. 313–320. - Shih-Chao Liu. Recursive linear orderings and hyper arithmetical junctions. Notre Dame journal of formal logic, vol. 3 (1962), pp. 129–132.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 137
- Print publication:
- March 1966
-
- Article
- Export citation
Chen Chung Chang and Anne C. Morel. Some cancellation theorems for ordinal products of relations. Duke mathematical journal, vol. 27 (1960), pp. 171–181. - Chen Chung Chang. Cardinal and ordinal multiplication of relation types. Lattice theory, Proceedings of symposia in pure mathematics, vol. 2, American Mathematical Society, Providence 1961, pp. 123–128. - C. C. Chang. Ordinal factorization of finite relations. Transactions of the American Mathematical Society, vol. 101 (1961), pp. 259–293.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-130
- Print publication:
- March 1966
-
- Article
- Export citation
Max Beberman and Herbert E. Vaughan. High school mathematics. Course 1. Revised edition of XXX 401(10–13). D. C. Heath and Company, Boston1964, ix + 598 pp. - Max Beberman and Herbert E. Vaughan. High school mathematics. Course 1. Teacher's edition. Revised edition of XXX 401(14–17). D. C Heath and Company, Boston1964, pages irregularly numbered. (The pages of the students' edition are reproduced with their same numbers, and with most pages, added material for the teacher is inserted on extra pages.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 111-112
- Print publication:
- March 1966
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 147
- Print publication:
- March 1966
-
- Article
- Export citation
E. J. Lemmon. Quantifier rules and natural deduction. Mind, n.s. vol. 70 (1961), pp. 235–238.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 127
- Print publication:
- March 1966
-
- Article
- Export citation
V. I. Šéstákov. Pérfohartočnyj métod sintéza mnogotaktnyh sistém mnogopozicionnyh rélé (Punched card synthesis of sequential switching systems of multi-position relays). Avtomatika i téléméhanika, vol. 20 (1959), pp. 1496–1506.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 140
- Print publication:
- March 1966
-
- Article
- Export citation
Algebraic semantics for modal logics I
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 46-65
- Print publication:
- March 1966
-
- Article
- Export citation