Contents
Reviews
Hao Wang. The calculus of partial predicates and its extension to set theory I. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 283–288.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 617
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 425-429
-
- Article
- Export citation
Front matter
JSL volume 37 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f4
-
- Article
-
- You have access
- Export citation
Reviews
T. Traczyk. Prime ideals in generalized Post algebras. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 15 (1967), pp. 369–373.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 189
-
- Article
- Export citation
G. Grätzer. On the class of subdirect powers of a finite algebra. Acta scientiarum mathematicarum, vol. 25 (1964), pp. 160–168.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 189
-
- Article
- Export citation
Heinz-Dieter Ebbinghaus. Über eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen. Archie für mathematische Logik und Grundlagenforschung, vol. 12 (1969), pp. 39–53.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 617-618
-
- Article
- Export citation
Meeting Report
Meeting of the Association for Symbolic Logic, New York, 1971
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 430-447
-
- Article
- Export citation
Reviews
B. Csákány. Ob abélévyh svojstvah primitivnyh klassov univérsal′nyh algébr (On the Abelian properties of the primitive classes of universal algebras). Acta scientiarum mathematicarum, vol. 25 (1964), pp. 202–208.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 189-190
-
- Article
- Export citation
Robert McNaughton. Testing and generating infinite sequences by a finite automaton. Information and control, vol. 9 (1966), pp. 521–530.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 618
-
- Article
- Export citation
Other
Announcement: World directory of historians of mathematics
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 447
-
- Article
- Export citation
Reviews
Neal Zierler and Michael Schlessinger. Boolean embeddings of orthomodular sets and quantum logic. Duke mathematical journal, vol. 32 (1965), pp. 251–262.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 190
-
- Article
- Export citation
Michael O. Rabin. Decidability of second-order theories and automata on infinite trees. Bulletin of the American Mathematical Society, vol. 74 (1968), pp. 1025–1029. - Michael O. Rabin. Decidability of second-order theories and automata on infinite trees. Transactions of the American Mathematical Society, vol. 141 (1969), pp. 1–35.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 618-619
-
- Article
- Export citation
Other
Announcement: Recursive function theory, newsletter
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 447
-
- Article
- Export citation
Reviews
John Doner. Tree acceptors and some of their applications. Journal of computer and system sciences, vol. 4 (1970), pp. 406–451.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 619
-
- Article
- Export citation
David Sachs. The lattice of subalgebras of a Boolean algebra. Canadian journal of mathematics, vol. 14 (1962), pp. 451–460.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 190-191
-
- Article
- Export citation
Front matter
JSL volume 37 issue 2 Cover and Front matter and Errata
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f7
-
- Article
-
- You have access
- Export citation
Reviews
J. C. Abbott. Semi-Boolean algebra. Matematički vesnik, vol. 4 (1967), pp. 177–198.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 191
-
- Article
- Export citation
J. W. Thatcher and J. B. Wright. Generalized finite automata theory with an application to a decision problem of second-order logic. Mathematical systems theory, vol. 2 (1968), pp. 57–81.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 619-620
-
- Article
- Export citation
F. William Lawvere. An elementary theory of the category of sets. Proceedings of the National Academy of Sciences, vol. 52 (1964), pp. 1506–1511.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 191-192
-
- Article
- Export citation
M. A. Spivak. Algoritm abstraktnogo sintéza avtomatov dla rasširènnogo ázyka régulàrnyh vyražénij. Izvéstiá Akadémii Nauk SSSR, téhničéskaá kibérnétika, no. 1 (1965), pp. 51–57. - M. A. Spivak. Algorithm for abstract synthesis of automata for an expanded language of regular expressions. English translation of the preceding. Engineering cybernetics, no. 1 (1965), pp. 43–49.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 620
-
- Article
- Export citation