00897nam a22002531 4500 1/11757 971127s1997 enk 001 0 eng d 0387948937 12120 DLC GR-PeUP 005.1'01'5113 NE. Nerode, Anil. Logic for applications / AnilNerode, Richard A. Shore. 2nd ed. New York: Springer, 1997. 456 p.: with 78 illustrations, 28 cm. Graduate texts in computer science ; Includes bibliographical references & index. Computer science Mathematics. Logic, Symbolic and mathematical. Shore, Richard A. Graduate texts in computer science. INST UNIPILB MAIN 20040709 005.1'01'5113 NE. 00127387 00127387 LOAN 4 20040519 1 /webopac/covers/01/12120_0387948937.jpg