Logic for applications

Anil Nerode, Richard A. Shore.
Bok · Engelsk · 1997

Utgitt	New York : : Springer, , c1997.
Omfang	xiii, 456 p. : : ill. ;
Utgave	2nd ed.
Emner	Computer science - Mathematics. Logic programming. Logic, Symbolic and mathematical.
Dewey	005.1 . - 005.1/01/5113
ISBN	0387948937 (New York : hc : acid-free paper)