A sequent or tablue-style system for Lewis's counterfactual logic. [Review of the book Review of Gent, I. Philip, 1994]

    Research output: Contribution to journalBook/Film/Article reviewOther research output

    Original languageEnglish
    Pages (from-to)11-11
    JournalZentralblatt für Mathematik und ihre Grenzgebiete
    Volume762
    Publication statusPublished - 1994

    Cite this