Author: Sara Negri
Publisher: Cambridge University Press
ISBN: 9780521068420
Category : Mathematics
Languages : en
Pages : 279
Book Description
A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs.