Methods of Cut-EliminationAlexander Leitsch

Methods of Cut-Elimination

Alexander Leitsch · 2011

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2011
Language: English
Series: Trends in Logic -- 34
Publisher: Springer Science+Business Media B.V.
Editions: 3
ISBN: 9789400703193

Data source: Wikidata

More by Alexander Leitsch

Automated reasoningAlexander Leitsch

Automated reasoning

Alexander Leitsch · 2001

The Resolution CalculusAlexander Leitsch

The Resolution Calculus

Alexander Leitsch · 2012