by: Matthias Baaz · Alexander Leitsch
Paperback
details (USA).
(see also: eBook (Kindle))
details (UK).
(see also: eBook (Kindle))
details (Canada).
(see also: eBook (Kindle))
ISBN: 978-94-007-0321-6
ISBN-10: 94-007-0321-X
Springer · 2011
|
|
by: Matthias Baaz · Alexander LeitschPaperback details (USA). details (UK). details (Canada). ISBN: 978-94-007-0321-6 ISBN-10: 94-007-0321-X Springer · 2011 |
| See also: | ||
| 2011 | Hardcover | Methods of Cut-Elimination (Trends in Logic) |