"INTRODUÇAO A LOGICA PARA A CIENCIA DA COMPUTAÇAO " - читать интересную книгу автора (Jair Minoro Abe)