NERODE A. & SHORE R.A. LOGIC FOR APPLICATIONS - 2nd ed. - NEW YORK : SPRINGER 1997 - 456 p. ISBN: 0000387948937 Subjects--Topical Terms: MATHEMATICS : LOGIC : MATHEMATICS FOR PROGRAMMING Dewey Class. No.: 005.101 51 / N26