This is the product description text that will appear here.
Quantity
1
Description
This 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...