Tag: Cambridge Tracts in Theoretical Computer Science

  • Discussing “Basic Proof Theory”

    Discussing “Basic Proof Theory”

    The theory of logical proofs is divided, in this well-known textbook, into two strands: structural and interpretational.

  • Discussing “Modal Logic”

    Discussing “Modal Logic”

    I learned modal logic from a book by Hughes and Cresswell, a pair of philosophers from my home city of Wellington, so it was interesting for me to see the very different approach taken in this week’s book, which is now the standard reference for the field ( along with the Chargrov- Zakharyaschev book of…