%0 Book Section %1 Dav93 %A Davis, M. %D 1993 %E Gabbay, D. %E Hogger, C.J. %E Robinson, J.A. %I Oxford University Press %K imported %P 31--65 %T First Order Logic

@inbook{Dav93, added-at = {2007-11-02T23:09:02.000+0100}, author = {Davis, M.}, biburl = {https://www.bibsonomy.org/bibtex/2768fd5d32a8eca71540b3f298513b023/bsmyth}, crossref = {GabHogRob93}, description = {all-bibs-cleaned.bib}, editor = {Gabbay, D. and Hogger, C.J. and Robinson, J.A.}, interhash = {0836bbddb09afa89fd9cbc484a9d0c4c}, intrahash = {768fd5d32a8eca71540b3f298513b023}, keywords = {imported}, pages = {31--65}, publisher = {Oxford University Press}, timestamp = {2007-11-02T23:09:03.000+0100}, title = {{First Order Logic}}, year = 1993 }