%0 Thesis %1 phd/ethos/Lamb00 %A da Cunha Lamb, Luís %D 2000 %K dblp %T Labelled proof theory for conditional logic.

@phdthesis{phd/ethos/Lamb00, added-at = {2022-04-05T00:00:00.000+0200}, author = {da Cunha Lamb, Luís}, biburl = {https://www.bibsonomy.org/bibtex/2f208783148426db1d58379612b6eb477/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.325506}, interhash = {cd97f0798d139a1e94aab088057ad6ea}, intrahash = {f208783148426db1d58379612b6eb477}, keywords = {dblp}, note = {British Library, EThOS}, school = {Imperial College London, UK}, timestamp = {2024-04-09T08:47:03.000+0200}, title = {Labelled proof theory for conditional logic.}, year = 2000 }