NERODE A. & SHORE R.A.

LOGIC FOR APPLICATIONS - 2nd ed. - NEW YORK : SPRINGER 1997 - 456 p.

0000387948937


MATHEMATICS : LOGIC : MATHEMATICS FOR PROGRAMMING

005.101 51 / N26