%0 Thesis %1 phd/ethos/Cohn83 %A Cohn, Anthony G. %D 1983 %K dblp %T Mechanising a particularly expressive many sorted logic.

@phdthesis{phd/ethos/Cohn83, added-at = {2023-06-20T00:00:00.000+0200}, author = {Cohn, Anthony G.}, biburl = {https://www.bibsonomy.org/bibtex/22d5c62e635fc9e2d7431f0beee155fa9/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.345741}, interhash = {3ce07496fd883c62ba800378b3e0a440}, intrahash = {2d5c62e635fc9e2d7431f0beee155fa9}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Essex, Colchester, UK}, timestamp = {2024-04-09T08:52:34.000+0200}, title = {Mechanising a particularly expressive many sorted logic.}, year = 1983 }