Methods of Cut-Elimination (Trends in Logic)

Alexander

by: Matthias Baaz · Alexander Leitsch

Hardcover

ISBN: 978-94-007-0319-3

ISBN-10: 94-007-0319-8

Springer · 2011

See also:
2011PaperbackMethods of Cut-Elimination