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