%0 Book
%A Nerode, Anil
%T Logic for applications
%U /book/72145953/Logic-for-applications/