Contents
Reviews
J. C. E. Dekker and J. Myhill. Recursive equivalence types. University of California publications in mathematics, n.s. vol. 3 no. 3 (1960), pp. 67–214. - J. C. E. Dekker. Congruences in isols with a finite modulus. Mathematische Zeitschrift, vol. 70 (1958), pp. 113–124. - J. Myhill. Recursive equivalence types and combinatorial functions. Bulletin of the American Mathematical Society, vol. 64 (1958), pp. 373–376. - J. C. E. Dekker. The factorial function for isols. Mathematische Zeitschrift, vol. 70 (1958), pp. 250–262. - J. C. E. Dekker and J. Myhill. The divisibility of isols by powers of primes. Mathematische Zeitschrift, vol. 73 (1960). pp. 127–133. - J. C. E. Dekker. An expository account of isols. 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. 189–200.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 356-359
-
- Article
- Export citation
Anil Nerode. Extensions to isols. Annals of mathematics, second series, vol. 73 (1961), pp. 362–403.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 359-361
-
- Article
- Export citation
John Myhill. Recursive digraphs, splinters, and cylinders. Mathematische Annalen, vol. 138 (1959), pp. 211–218.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 361-362
-
- Article
- Export citation
Hillary Putnam and R. M. Smullyan. Exact separation of recursively enumerable sets within theories. Proceedings of the American Mathematical Society, vol. 11 (1960), pp. 574–577.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 362
-
- Article
- Export citation
Richard M. Friedberg and Hartley RogersJr., Reducibility and completeness for sets of integers. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 117–125.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 362-363
-
- Article
- Export citation
Richard Friedberg. The uniqueness of finite division for recursive equivalence types. Mathematische Zeitschrift, vol. 75 (1961), pp. 3–7.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 363
-
- Article
- Export citation
Hartley RogersJr., Computing degrees of unsolvability. Mathematische Annalen, vol. 138 (1959). pp. 125–140. - Hartley RogersJr., Computing degrees of unsolvability. 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. 277–283.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 363-364
-
- Article
- Export citation
G. Kreisel. Non-uniqueness results for transfinite progressions. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 no. 5 (1960), pp. 287–290.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 364
-
- Article
- Export citation
A. Mostowski. Examples of sets definable by means of two and three quantifiers. Fundamenta mathematicae, Bd. 42 (1955), S. 259–270.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 364-365
-
- Article
- Export citation
A. Mostowski. Contributions to the theory of definable sets and functions. Ebd., S. 271–275.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 365
-
- Article
- Export citation
A. Mostowski. On a generalization of quantifiers. Ebd., Bd. 44 (1957), S. 12–36.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 365-366
-
- Article
- Export citation
A. Mostowski. On computable sequences. Ebd., S. 37–51.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 367
-
- Article
- Export citation
Håkan Törnebohm. Outlines of a Boolean tensor algebra with applications to the lower functional calculus. Theoria (Lund), vol. 24 (1958), pp. 39–47.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 367-368
-
- Article
- Export citation
Håkan Törnebohm. Notes on modal operators. Theoria (Lund), vol. 24 (1958), pp. 130–135.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 368
-
- Article
- Export citation
C. Y. Lee and W. H. Chen. Several-valued combinational switching circuits. Transactions of the American Institute of Electrical Engineers, vol. 75 part I (1956), pp. 278–283.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 368
-
- Article
- Export citation
R. H. Urbano and R. K. Mueller. A topological method for the determination of the minimal forms of a Boolean function. Transactions of the IRE Professional. Group on Electronic Computers, vol. EC-5 no. 3 (1956), pp. 126–132. - David M. Brender. The logical procedures needed for finding the minimals of a Boolean function on a digital computer. 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, p. 210.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 368-370
-
- Article
- Export citation
J. Paul Roth. Two logical minimization problems. 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. 396–401. - J. Paul Roth. Algebraic topological methods for the synthesis of switching systems. II. Proceedings of the International Symposium on the Theory of Switching, Harvard University, April 2, 1957, The annals of the computation laboratory, vol. 29 (1959), pp. 57–73. - J. Paul Roth and E. G. Wagner. Algebraic topological methods for the synthesis of switching systems. III: Minimization of nonsingtdar Boolean trees. IBM journal of research and development, vol. 3 (1959), pp. 326–344.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 370-373
-
- Article
- Export citation
Hao Wang. Circuit synthesis by solving sequential Boolean equations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 291–322.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 373-375
-
- Article
- Export citation
Alan Rose. Un multiplicateur ultrarapide. Comptes rendus des séances de l'Académie des Sciences (Paris), vol. 248 (1959), pp. 2271–2273.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 375-376
-
- Article
- Export citation
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 376-383
-
- Article
- Export citation