%0 Book %1 books/daglib/0066710 %A Sperschneider, Volker %A Antoniou, Grigoris %B International Computer Science Series %D 1991 %I Addison-Wesley %K dblp %P I-XII, 1-495 %T Logic - a foundation for computer science. %@ 978-0-201-56514-0

@book{books/daglib/0066710, added-at = {2011-04-07T00:00:00.000+0200}, author = {Sperschneider, Volker and Antoniou, Grigoris}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/286ab1d92d6e3c3a99eaf8addf90b01de/dblp}, interhash = {de3314524c43a8daca57cc58b0cb2069}, intrahash = {86ab1d92d6e3c3a99eaf8addf90b01de}, isbn = {978-0-201-56514-0}, keywords = {dblp}, pages = {I-XII, 1-495}, publisher = {Addison-Wesley}, series = {International Computer Science Series}, timestamp = {2016-02-02T10:46:44.000+0100}, title = {Logic - a foundation for computer science.}, year = 1991 }