Structural Proof Theory

Structural Proof Theory

Bokus

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work o...

1 215.00 kr

Liknande produkter