Bokus

Short Textbooks in Logic – serie

Visar alla böcker i serien Short Textbooks in Logic. Handla med fri frakt och snabb leverans.

2 produkter

  1. Eric Pacuit - Neighborhood Semantics for Modal Logic, Häftad. Tillgänglighet: Lägg i varukorg

    Neighborhood Semantics for Modal Logic

    Av Eric Pacuit

    Häftad, 2017

    511 kr

    Lägg i varukorg

    This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the relevant technical background, it highlights both the pitfalls and potential uses of neighborhood models – an interesting class of …

  2. Hiroakira Ono - Proof Theory and Algebra in Logic, Häftad. Tillgänglighet: Lägg i varukorg

    Proof Theory and Algebra in Logic

    Av Hiroakira Ono

    Häftad, 2019

    421 kr

    Lägg i varukorg

    This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The importance of combining these two has been increasingly recognized in recent years. It highlights the contrasts between the deep, concrete …