Free Shipping to all UK customers for orders over £25.00
Free Shipping to all UK customers for orders over £25.00
Free Shipping to all UK customers for orders over £25.00
Usually dispatched within 3 - 5 business days.
£ 50.40
Structural proof theory studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to structural proof theory and a work of research that will be of interest to specialists. A special feature is a downloadable computer program for developing proofs interactively.