%0 Book %1 AbrGabMai92vol1 %D 1992 %E Abramsky, S. %E Gabbay, D. %E Maibaum, T.S.E. %I Oxford University Press %K imported %T Handbook of Logic in Computer Science I --- Background: Mathematical Structures

@book{AbrGabMai92vol1, added-at = {2007-11-02T23:09:02.000+0100}, biburl = {https://www.bibsonomy.org/bibtex/2372ffc02e5dc216ebcf3a77b671e73d8/bsmyth}, description = {all-bibs-cleaned.bib}, editor = {Abramsky, S. and Gabbay, D. and Maibaum, T.S.E.}, interhash = {4ad9f1fe152c52d4d748eff531837987}, intrahash = {372ffc02e5dc216ebcf3a77b671e73d8}, keywords = {imported}, optvolume = {1}, publisher = {Oxford University Press}, timestamp = {2007-11-02T23:09:03.000+0100}, title = {{Handbook of Logic in Computer Science I --- Background: Mathematical Structures}}, year = 1992 }