Taylor Walter. Equational logic. Houston journal of mathematics, survey 1979. Department of Mathematics, University of Houston, Houston 1979, iii + 83 pp [Book Review]

Journal of Symbolic Logic 47 (2):450-450 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273161

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,060

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Joseph Warren Dauben. Georg Cantor, his mathematics and philosophy of the infinite. Harvard University Press, Cambridge, Mass. and London, 1979, ix + 404 pp. [REVIEW]Arnold Oberschelp - 1982 - Journal of Symbolic Logic 47 (2):456-457.
Meeting of the association for symbolic logic Houston, 1978.T. G. McLaughlin - 1979 - Journal of Symbolic Logic 44 (4):660-664.
Review: Walter Taylor, Equational Logic. [REVIEW]Heinrich Werner - 1982 - Journal of Symbolic Logic 47 (2):450-450.
Goldblatt Robert. Topoi. The categorial analysis of logic. Studies in logic and the foundations of mathematics, vol. 98. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, xv + 486 pp. [REVIEW]Philip J. Scott - 1982 - Journal of Symbolic Logic 47 (2):445-448.
Malitz Jerome. Introduction to mathematical logic. Set theory, computable functions, model theory. Undergraduate texts in mathematics. Springer-Verlag, New York, Heidelberg, and Berlin, 1979, xii + 198 pp. [REVIEW]P. Eklof - 1984 - Journal of Symbolic Logic 49 (2):672-673.
Ferrante Jeanne and Rackoff Charles W.. The computational complexity of logical theories. Lecture notes in mathematics, vol. 718. Springer-Verlag, Berlin, Heidelberg, and New York, 1979, X + 243 pp. [REVIEW]Dirk Siefkes - 1984 - Journal of Symbolic Logic 49 (2):670-671.
John R. Steel. Scales on sets. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin etc. pp. 72–76. - Yiannis N. Moschovakis. Scales on coinductive sets. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin etc., pp. 77–85. - Donald A. Martin and John R. Steel. The extent of scales in L. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin etc., pp. 86–96. - John R. Steel. Scales in L. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Spring. [REVIEW]Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
President, association for symbolic logic department of mathematics Cornell university ithaca, ny 14853, usa.Richard A. Shore - 2003 - Bulletin of Symbolic Logic 9 (1).

Analytics

Added to PP
2013-11-03

Downloads
34 (#727,850)

6 months
14 (#220,755)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references