Structural Proof Theory Marcel Olde Rikkert combined with an attractive design

combined with an attractive design and integrated video and audio material

Provides extensive exercises and practical examples to promote language skills

weblinks en herhalingsunits beschikbaar

This teaching material is ideal for both teaching and self-study in various language levels from A1 to C2

Lines may divide us

Structural Proof Theory Marcel Olde Rikkert combined with an attractive designThis textbook by Sara Negri covers structural proof theory, a branch of logic that focuses on the general structure and properties of logical and mathematical proofs. It provides a compact introduction to the central results and methods and is suitable for students and specialists in philosophy, mathematics, and computer science. An important feature is the interactive, computer assisted program for developing proofs, which is updated regularly.