%0 Generic %1 suber99 %A Suber, Peter %D 1999 %K logic website reference %N December 8, 2003 %T Glossary of First-Order Logic %U http://www.inf.unibz.it/~franconi/teaching/1999/3411/logic-glossary/ %V 2003

@misc{suber99, added-at = {2006-03-24T16:34:33.000+0100}, author = {Suber, Peter}, biburl = {https://www.bibsonomy.org/bibtex/25f6d9f4369743fa1a188c3290fec30c2/neilernst}, citeulike-article-id = {121526}, description = {sdasda}, interhash = {5bb6dc618dbeb0ac3c2ecfa45acdee10}, intrahash = {5f6d9f4369743fa1a188c3290fec30c2}, keywords = {logic website reference}, number = {December 8, 2003}, priority = {0}, timestamp = {2006-03-24T16:34:33.000+0100}, title = {Glossary of {F}irst-{O}rder {L}ogic}, url = {http://www.inf.unibz.it/~franconi/teaching/1999/3411/logic-glossary/}, volume = 2003, year = 1999 }