Structural Proof Theory Marcel Olde Rikkert This teaching material is ideal

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

Hierbij kunt u denken aan:

Author: Robert B

Provides extensive exercises and practical examples to promote language skills

Structural Proof Theory Marcel Olde Rikkert This teaching material is idealThis 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.