Rajaa
Hakutulokset: 9780521793070
Rajaa
yksi hakutulos.
Structural Proof Theory
sidottu,
2001,
englanti,
ISBN 9780521793070
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 …