%0 Book
%A / James L. Hein
%T Discrete structures, logic, and computability
%U /book/93069586/Discrete-structures-logic-and-computability/