by Sara Negri (Author)
A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs.
Format: Paperback
Pages: 276
Edition: 1
Publisher: Cambridge University Press
Published: 21 Aug 2008
ISBN 10: 0521068428
ISBN 13: 9780521068420