%0 Conference Paper %1 meseguer1989 %A Meseguer, J. %D 1989 %E Ebbinghaus, H.D. %E Fern�ndez-Prida, J. %E Garrido, M. %E Lascar, D. %E Rodrguez-Artalejo, M. %I NorthHolland %K logic mathematical-foundations %T General logics

@inproceedings{meseguer1989, added-at = {2007-09-27T20:44:04.000+0200}, author = {Meseguer, J.}, biburl = {https://www.bibsonomy.org/bibtex/2e232fd061054950a416ac50f47fbd6af/thau}, editor = {Ebbinghaus, H.D. and Fern�ndez-Prida, J. and Garrido, M. and Lascar, D. and Rodrguez-Artalejo, M.}, interhash = {df7d1052b460cecc4cfca60c00987682}, intrahash = {e232fd061054950a416ac50f47fbd6af}, keywords = {logic mathematical-foundations}, publisher = {NorthHolland}, timestamp = {2007-10-09T17:04:36.000+0200}, title = {General logics}, year = 1989 }