Rajaa
Hakutulokset: 9780521068420
Rajaa
yksi hakutulos.
Structural Proof Theory
pokkari,
2008,
englanti,
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 …