Structural Proof Theory Marcel Olde Rikkert Provides extensive exercises and practical

Provides extensive exercises and practical examples to promote language skills

With ten chapters and an extensive appendix of forms and sample letters

Help students achieve more through collaborative projects

the Observations grammaticales section discusses the main stumbling blocks

Structural Proof Theory Marcel Olde Rikkert Provides extensive exercises and practicalThis 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.