%0 Book %1 benari01logic %A Ben-Ari, Mordechai %D 2001 %I Springer %K computer logic science %T Mathematical Logic for Computer Science

@book{benari01logic, added-at = {2007-09-28T09:57:27.000+0200}, author = {Ben-Ari, Mordechai}, biburl = {https://www.bibsonomy.org/bibtex/2c78669fee3f7490bc5bb28d7c0dd547d/aljsanchez}, interhash = {486f0e29e44c69dcee63fbb529119f31}, intrahash = {c78669fee3f7490bc5bb28d7c0dd547d}, keywords = {computer logic science}, publisher = {Springer}, timestamp = {2007-09-28T09:57:27.000+0200}, title = {Mathematical Logic for Computer Science}, year = 2001 }