Solutions manual to accompany Logic and language models for computer science.
Hamburger, Henry.Logic and language models for computer science.
Richards, Dana.Logic and language models for computer science.
Upper Saddle River, N.J. : Prentice-Hall,
c2002.