Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Mathematics

by Katalin Bimbo

Hardcover

ISBN: 978-1-4665-6466-4

ISBN-10: 1-4665-6466-0

Chapman and Hall/CRC · 2014