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
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
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
Other
Announcement: World directory of historians of mathematics
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 447
-
- Article
- Export citation
Reviews
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
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
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