5 results
Paul Halmos and Steven Givant. Logic as algebra. The Dolciani mathematical expositions, no. 21. The Mathematical Association of America, Washington 1998, ix + 141 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 12 March 2014, p. 1604
- Print publication:
- December 1998
-
- Article
- Export citation
G. L. Cherlin. The model-companion of a class of structures. The journal of symbolic logic, vol. 37 (1972), pp. 546–556. - L. Lipshitz and D. Saracino. The model companion of the theory of commutative rings without nilpotent elements. Proceedings of the American Mathematical Society, vol. 38 (1973), pp. 381–387. - Angus Macintyre. Model-completeness for sheaves of structures. Fundamenta mathematicae, vol. 81 no. 1 (1973), pp. 73–89.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 2 / June 1983
- Published online by Cambridge University Press:
- 12 March 2014, p. 496
- Print publication:
- June 1983
-
- Article
- Export citation
Logic in algebraic form. Three languages and theories - William Craig. Logic in algebraic form. Three languages and theories. Studies in logic and the foundations of mathematics, vol. 72. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, viii + 204 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 1 / March 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 108-109
- Print publication:
- March 1977
-
- Article
- Export citation
Aubert Daigneault. Operations in polyadic algebras. Transactions of the American Mathematical Society, vol. 158 (1971), pp. 219–229.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 337-338
- Print publication:
- June 1973
-
- Article
- Export citation
Finite inseparability of some theories of cylindrification algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 2 / 25 July 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 171-176
- Print publication:
- 25 July 1969
-
- Article
- Export citation