13629 results in The Journal of Symbolic Logic
Donald A. Martin. A theorem on hyper hypersimple sets. The journal of symbolic logic, vol. 28 no. 4 (for 1963, pub. 1964), pp. 273–278.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 139
- Print publication:
- March 1966
-
- Article
- Export citation
JSL volume 31 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b9
- Print publication:
- March 1966
-
- Article
-
- You have access
- Export citation
J. W. Addison. Hierarchies and the axiom of constructibility. 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. 355–362.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 137-138
- Print publication:
- March 1966
-
- Article
- Export citation
Bolesław Sobociński. A note concerning the many-valued propositional calculi. Notre Dame journal of formal logic, vol. 2 (1961), pp. 127–128.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 117
- Print publication:
- March 1966
-
- Article
- Export citation
Gene F. Rose. Output completeness in sequential machines. Proceedings of the American Mathematical Society, vol. 13 (1962), pp. 611–614.
-
- 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
On the indexing of classes of recursively enumerable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 10-22
- Print publication:
- March 1966
-
- Article
- Export citation
Jaakko Hintikka. Modality and quantification. Theoria (Lund), vol. 27 (1961), pp. 119–128. - Jaakko Hintikka. The modes of modality. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki 1963, pp. 65–81.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 122-123
- Print publication:
- March 1966
-
- Article
- Export citation
M. A. Ajzérman, L. A. Gusév, L. I. Rozonoer, I. M. Smirnova, and A. A. Tal′. Logika, avtomaty, algoritmy (Logic, automata, algorithms). Gosudarstvénnoé Izdatel′stvo Fiziko-matématičéskoj Literatury, Moscow1963, 556 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 109-111
- Print publication:
- March 1966
-
- Article
- Export citation
Ú. I. Žuravlév. О postroénii minimal′nyh dizúnktivnyh normal′nyh form dlá funkcij algébry logiki (On constructing minimal disjunctive normal forms for functions of the algebra of logic). Doklady Akadémii Nauk SSSR, vol. 126 (1959), pp. 263–266.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 140-141
- Print publication:
- March 1966
-
- Article
- Export citation
J. S. Ullian. Splinters of recursive functions. The journal of symbolic logic, vol. 25 no. 1 (for 1960, pub. 1961), pp. 33–38.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 138-139
- Print publication:
- March 1966
-
- Article
- Export citation
Mary Katherine Yntema. A detailed argument for the Post-Linial theorems. Notre Dame journal of formal logic, vol. 5 no. 1 (1964), pp. 37–50.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 117-118
- Print publication:
- March 1966
-
- Article
- Export citation
Notebooks of Emil Post
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 157-158
- Print publication:
- March 1966
-
- Article
- Export citation
A reduction theorem for normal algorithms1
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 86-97
- Print publication:
- March 1966
-
- Article
- Export citation
Martin Davis. A program for Presburger's algorithm. 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. 215–223.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 138
- Print publication:
- March 1966
-
- Article
- Export citation
Abstracts of Papers
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 147-157
- Print publication:
- March 1966
-
- Article
-
- You have access
- Export citation
Daniel Lacombe. Quelques procédés de définition en topologie récursive. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 129–158.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 133-134
- Print publication:
- March 1966
-
- Article
- Export citation
J. A. Faris. Truth-functional logic. Routledge & Kegan Paul, London, and The Free Press of Glencoe, New York, 1962, vi + 122 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 108
- Print publication:
- March 1966
-
- Article
- Export citation
Alfred North Whitehead. On mathematical concepts of the material world. A reprint of 997. Alfred North Whitehead, An anthology, selected by F. S. C. Northrop and Mason W. Gross, The Macmillan Company, New York1953, pp. 11–82.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-106
- Print publication:
- March 1966
-
- Article
- Export citation
A. J. Ayer. Truth. The concept of a person and other essays, by A. J. Ayer, Macmillan & Co. Ltd., London, and St. Martin's Press Inc., New York, 1963, pp. 162–187.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 113
- Print publication:
- March 1966
-
- Article
- Export citation
Corrado Böhm. On a family of Turing machines and the related programming language. ICC bulletin, vol. 3 (1964), pp. 185–194.
-
- 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