LOGIC FOR APPLICATIONS
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
LOGIC FOR APPLICATIONS - 2nd ed. - NEW YORK : SPRINGER 1997 - 456 p.
0000387948937
MATHEMATICS : LOGIC : MATHEMATICS FOR PROGRAMMING
005.101 51 / N26