8 results
Behavioural reasoning for conditional equations†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 17 / Issue 5 / October 2007
- Published online by Cambridge University Press:
- 01 October 2007, pp. 1075-1113
-
- Article
- Export citation
Alfred Tarski's work on general metamathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 1 / March 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 36-50
- Print publication:
- March 1988
-
- Article
- Export citation
Hans Hermes. Introduction to mathematical logic. English translation of XXXVIII 518 by Diana Schmidt. Springer-Verlag, New York, Heidelberg, and Berlin, 1973, XI + 242 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 1 / March 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 187-188
- Print publication:
- March 1980
-
- Article
- Export citation
The Universality of the variety of quasigroups
-
- Journal:
- Journal of the Australian Mathematical Society. Series A. Pure Mathematics / Volume 21 / Issue 2 / March 1976
- Published online by Cambridge University Press:
- 09 April 2009, pp. 194-219
- Print publication:
- March 1976
-
- Article
-
- You have access
- Export citation
Donald Monk. Singulary cylindric and polyadic equality algebras. Transactions of the American Mathematical Society, vol. 112 (1964), pp. 185–205.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 2 / June 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 240
- Print publication:
- June 1975
-
- Article
- Export citation
Ralph McKenzie. Representations of integral relation algebras. The Michigan mathematical journal, vol. 17 (1970), pp. 279–287.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 337
- Print publication:
- June 1974
-
- Article
- Export citation
T. Traczyk. On Post algebras with uncountable chain of constants. Algebras of homomorphisms. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 15 (1967), pp. 673–680.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 188-189
- Print publication:
- March 1972
-
- Article
- Export citation
Fred B. Wright. Ideals in apolyadic algebra. Proceedings of the American Mathematical Society, vol. 8 (1957), pp. 544–546.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 542
- Print publication:
- September 1971
-
- Article
- Export citation