@incollection{Kowalski:1995, added-at = {2007-12-14T02:41:44.000+0100}, author = {Kowalski, Robert}, biburl = {http://www.bibsonomy.org/bibtex/2df0f6968a644569232e8f230aff987c2/diego_ma}, booktitle = {What is a Logical System?}, editor = {Gabbay, D.}, interhash = {0402024733906417492643f496373ca6}, intrahash = {df0f6968a644569232e8f230aff987c2}, keywords = {logic}, publisher = {Oxford University Press}, timestamp = {2007-12-14T02:41:44.000+0100}, title = {Logic without Model Theory}, url = {http://www-lp.doc.ic.ac.uk/UserPages/staff/rak/rak.html}, year = 1995 }