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

Front Cover

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

TABLE OF CONTENTS
1
A Blass and Yu Gurevich
24
Chr Blatter and E Specker
43
Copyright

24 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information