by JanvonPlato (Author), Aarne Ranta (Contributor), ProfessorSaraNegri (Author)
A concise introduction to structural proof theory, a branch of logic studying the general structure of logical and mathematical proofs.
Format: Hardcover
Pages: 276
Publisher: Cambridge University Press
Published: 18 Jun 2001
ISBN 10: 0521793076
ISBN 13: 9780521793070