%0 Book
%A \ Mauricio Ayala-Rincón, Flávio L.C. de Moura.
%T Applied logic for computer scientists.
%U /book/88377919/Applied-logic-for-computer-scientists/