Julián Iranzo Pascual Lógica simbólica para informáticos - San Marcos 2005 Dewey Class. No.: 005.131/J87