booktheque

The Resolution Calculus

Alexander Leitsch · 2012

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

View on Amazon

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year
2012
Language
English
Publisher
Springer London, Limited
Editions
4
ISBN
9783642606052

Data source: Wikidata

More by Alexander Leitsch

Automated reasoning
Alexander Leitsch · 2001
Methods of Cut-Elimination
Alexander Leitsch · 2011