Computation Theory and Logic (Lecture Notes in Computer Science)

Borger, E. [Editor]

ISBN 10: 0387181709 / ISBN 13: 9780387181707

Published by Springer-Verlag, 1987

About this Item

Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding. Seller Inventory # UTD14a-0884

Bibliographic Details

Title: Computation Theory and Logic (Lecture Notes ...

Publisher: Springer-Verlag

Publication Date: 1987

Binding: Paperback

Condition: Very Good

About this title

Synopsis:

Computation Theory and Logic This volume contains 37 invited research papers collected in memory of Dieter Rodding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum problem and on the complexity of cardinality quantifiers in predicate logic and in arithmetical hierarchy. He was one of the first to pursue the interaction of logic and computer science. The volume refl... Full description