LOGIC FOR APPLICATIONS - NERODE A. & SHORE R.A. (NEW YORK : SPRINGER, 1997)
Keywords: MATHEMATICS : LOGIC : MATHEMATICS FOR PROGRAMMING