Logical methods
Subtitle: in honor of Anil Nerode's sixtieth birthday
By: John N. Crossley ... [et al.], editors
Series: Progress in computer science and applied logic -- v. 12; Progress in computer science and applied logic -- v. 12.
Publisher: Springer
Published: 1993
Place of publication: New York
Language: eng
Format: [electronic resource] :
Number of pages: 813
ISBN-13: 9781461203254; 9781461267089
Subjects: Logic programming; Symbolic and mathematical Logic
Notes: Includes bibliographical references.