×

Logic and machines: decision problems and complexity. Proceedings of the Symposium ”Rekursive Kombinatorik” held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen. (German) Zbl 0538.00005

Lecture Notes in Computer Science, 171. Berlin etc.: Springer Verlag. VI, 456 p. DM 52.oo; $ 20.40 (1984).
The articles of this volume will be reviewed individually under the abbreviation ”Logic and machines: decision problems and complexity, Proc. Symp., Münster/Ger. 1983, Lect. Notes Comput. Sci. 171”.

MSC:

00Bxx Conference proceedings and collections of articles
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
94-06 Proceedings, conferences, collections, etc. pertaining to information and communication theory