Digital Logic and Computer Design - Mano, Morris, M.
Keywords: Mathematical Logic - Computer Science