Filter
Søkt på: Søkeresultat
Filter
1 treff
Structural Proof Theory
pocket,
2008,
Engelsk,
ISBN 9780521068420
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 …