Luís da Cunha Lamb. Labelled proof theory for conditional logic. PhD thesis, Imperial College London, UK, 2000. [doi]
@phdthesis{ethos-6916, title = {Labelled proof theory for conditional logic}, author = {Luís da Cunha Lamb}, year = {2000}, url = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.325506}, note = {British Library, EThOS}, researchr = {https://researchr.org/publication/ethos-6916}, cites = {0}, citedby = {0}, school = {Imperial College London, UK}, }