Guo-Qiang Zhang. Logic of domains. Progress in theoretical computer science. Birkhäuser, Boston, Basel, and Berlin, 1991, viii + 259 pp [Book Review]

Journal of Symbolic Logic 59 (3):1108-1110 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275934

Other Versions

edition Droste, Manfred (1994) "Review: Guo-Qiang Zhang, Logic of Domains". Journal of Symbolic Logic 59(3):1108-1110

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,516

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

Bachmair Leo. Canonical equational proofs. Progress in theoretical computer science. Birkhäuser, Boston, Basel, and Berlin, 1991, x + 135 pp. [REVIEW]John Pedersen - 1992 - Journal of Symbolic Logic 57 (3):1140-1141.
Ko Ker-I. Complexity theory of real functions. Progress in theoretical computeer science. Birkhäuser, Boston, Basel, and Berlin, 1991, viii + 309 pp. [REVIEW]G. Malajovich - 1992 - Journal of Symbolic Logic 57 (4):1489-1491.
Thomas Streicher. Semantics of type theory. Correctness, completeness and independence results. Progress in theoretical computer science. Birkhäuser, Boston, Basel, and Berlin, 1991, xii + 298 pp. [REVIEW]Markus Marzetta - 1995 - Journal of Symbolic Logic 60 (3):1020-1021.
Erwin Engeler. The combinatory programme. In collaboration with K. Aberer, B. Amrhein, O. Gloor, M. von Mohrenschildt, D. Otth, G. Schwärzler, and T. Weibel. Progress in theoretical computer science, no. 15. Birkhäuser, Boston, Basel, and Berlin, 1995, vii + 143 pp. [REVIEW]James Davenport - 1996 - Journal of Symbolic Logic 61 (2):696-697.
Uwe Schöning. Logik für Informatiker. Second revised edition. Reihe Informatik, vol. 56. B. I. Wissenschaftsverlag, Mannheim, Vienna, and Zurich, 1989, 172 pp. - Uwe Schöning. Logic for computer scientists. English translation of the preceding. Progress in computer science and applied logic, vol. 8. Birkhäuser, Boston, Basel, and Berlin, 1989, ix + 166 pp. [REVIEW]Dirk Siefkes - 1991 - Journal of Symbolic Logic 56 (2):761-762.
Perspectives on the history of mathematical logic, edited by Thomas Drucker, Birkhäuser, Boston, Basel, and Berlin, 1991, xxiii + 195 pp. - John W. Dawson Jr. The reception of Gödel's incompleteness theorems. Pp. 84–100. [REVIEW]Steward Shapiro - 1992 - Journal of Symbolic Logic 57 (4):1487-1489.
M. Holz, K. Steffens, and E. Weitz. Introduction to cardinal arithmetic. Birkhäuser advanced texts. Birkhäuser Verlag, Basel, Boston, and Berlin, 1999, vii + 304 pp. [REVIEW]Maxim R. Burke - 2002 - Bulletin of Symbolic Logic 8 (4):524-526.
Labyrinth of Thought. A History of Set Theory and Its Role in Modern Mathematics. [REVIEW]Akihiro Kanamori - 2001 - Bulletin of Symbolic Logic 7 (2):277-278.
Solvability, provability, definability: the collected works of Emil L. Post, edited by Martin Davis, Contemporary mathematicians, Birkhäuser, Boston, Basel, and Berlin, 1994, xxviii + 554 pp. [REVIEW]H. B. Enderton - 1997 - Journal of Symbolic Logic 62 (3):1046-1048.

Analytics

Added to PP
2016-06-30

Downloads
43 (#514,100)

6 months
4 (#1,240,197)

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