Enlarge

Methods of cut-elimination

Matthias Baaz

Publication Data

Title Methods of cut-elimination
Author Matthias Baaz
Contributor Alexander Leitsch
Publisher Springer
Publication date 2011
Publication location Dordrecht
Language English

Topics

Automatic theorem proving

Catalogue Data

OBNB ID GBB0C0318
ISBN 10 9400703198
ISBN 13 9789400703193
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1053 vi, 287 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Methods of cut-elimination by Matthias Baaz. ISBN 9789400703193. Published by Springer in 2011. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.