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 [Book Review]

Journal of Symbolic Logic 56 (2):761-762 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274727

Other Versions

edition Siefkes, Dirk (1991) "Review: Uwe Schoning, Logic for Computer Scientists". Journal of Symbolic Logic 56(2):761-762

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

Erwin Engeler and Peter Läuchli. Berechnungstheorie für Informatiker. With assistance from Ronald Peikert. Leitfäden und Monographien der Informatik. B. G. Teubner, Stuttgart1988, 120 pp. - Arnold Oberschelp. Rekursionstheorie. B. I. Wissenschaftsverlag, Mannheim, Leipzig, Vienna, and Zürich, 1993, 339 pp. - Walter Felscher. Berechenbarkeit. Rekursive und programmierbare Funktionen. Springer-Lehrbuch. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1993, xi + 478 pp. [REVIEW]Petr Hájek - 1996 - Journal of Symbolic Logic 61 (2):699-701.
Guo-Qiang Zhang. Logic of domains. Progress in theoretical computer science. Birkhäuser, Boston, Basel, and Berlin, 1991, viii + 259 pp. [REVIEW]Manfred Droste - 1994 - Journal of Symbolic Logic 59 (3):1108-1110.
Gems of theoretical computer science, Uwe schöning and Randall Pruim.Rohit Parikh - 2000 - Journal of Logic, Language and Information 9 (1):131-132.
Uwe Schoning and Randall Pruim, Gems of Theoretical Computer Science.R. Parikh - 2000 - Journal of Logic Language and Information 9 (1):131-132.
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.
Dirk van Dalen. Logic and structure. Universitext. Springer-Verlag, Berlin, Heidelberg, and New York, 1980, ix + 172 pp. - Dirk van Dalen. Logic and structure. Second edition of the preceding. Universitext. Springer-Verlag, Berlin etc. 1983, x + 207 pp. [REVIEW]Melvin Fitting - 1986 - Journal of Symbolic Logic 51 (3):826-827.
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.

Analytics

Added to PP
2016-06-30

Downloads
15 (#1,224,800)

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