Logik für Informatiker. Second revised edition. Reihe Informatik, vol. 56. B. I. Wissenschaftsverlag, Mannheim, Vienna, and Zurich

Name: Logik für Informatiker. Second revised edition. Reihe Informatik, vol. 56. B. I. Wissenschaftsverlag, Mannheim, Vienna, and Zurich
Author: Uwe Schöning

by Uwe Schöning · 1 review · 1991

Reviewed by	Journal	Date	Access
Dirk Siefkes	The Journal of Symbolic Logic	1991	Restricted

Metaphysics & Logic

Also by Schöning

Complexity theory and interaction (2 reviews)
Complexity and structure (1 review)

Search PhilReviews for this title