Contents
Reviews
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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 137-138
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 138
-
- Article
- Export citation
Clifford Spector. Recursive ordinals and predicative set theory. 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. 377–382.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 138
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 138-139
-
- Article
- Export citation
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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 139
-
- Article
- Export citation
Dov Tamari. Une contribution aux théories de communication: Machines de Turing et problèmes de mot. Synthese, vol. 9 issue 3 nos. 3–5 (1954), pp. 205–227.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 139-140
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 140
-
- Article
- Export citation
Gene F. Rose. Output completeness in sequential machines. Proceedings of the American Mathematical Society, vol. 13 (1962), pp. 611–614.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 140
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 140
-
- 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.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 140-141
-
- Article
- Export citation
Ú. I. Žuravlév. Ob algoritmahj uproščéniá dizúnktivnyh normal′nyh form. Doklady Akadémii Nauk SSSR, vol. 132 (1960), pp. 260–263. - Yu. I. Žuravlev. On simplification algorithms for disjunctive normal forms. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 1 no. 3 (1960), pp. 526–529.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 141
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 141-146
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 147
-
- Article
- Export citation
Abstract
Abstracts of Papers
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 147-157
-
- Article
-
- You have access
- Export citation
Other
Notice Fellowship and Research Opportunities in Mathematics
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 157
-
- Article
- Export citation
Notebooks of Emil Post
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 157-158
-
- Article
- Export citation
The Aristotelian Society Essay Prize-result
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 158
-
- Article
- Export citation
Front matter
JSL volume 31 issue 1 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 31 issue 1 Cover and Back matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b9
-
- Article
-
- You have access
- Export citation