%0 Thesis %1 phd/ethos/Clark80 %A Clark, Keith L. %D 1980 %K dblp %T Predicate logic as a computational formalism.

@phdthesis{phd/ethos/Clark80, added-at = {2022-04-05T00:00:00.000+0200}, author = {Clark, Keith L.}, biburl = {https://www.bibsonomy.org/bibtex/2d3024f824fcada5fb929a6e1a0c4a181/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.253345}, interhash = {78609db6a7a333d5d21acf6c065de03f}, intrahash = {d3024f824fcada5fb929a6e1a0c4a181}, keywords = {dblp}, note = {British Library, EThOS}, school = {Queen Mary University of London, UK}, timestamp = {2024-04-09T08:55:45.000+0200}, title = {Predicate logic as a computational formalism.}, year = 1980 }