Logical Methods
Publisher: Birkhauser Verlag AG
Published: November 1993
Format: Hardcover
Number of pages: 818
ISBN-13: 9783764336905
Subjects: Logic, Symbolic and mathematic; Nerode, Anil,; 1932-; Logic programming
First sentence: Anil Nerode's work divides into a number of periods though, inevitably, there are overlaps and cross-currents.