Alexander Leitsch | Bookhype

Jan 1, 2011

Cover of Methods of Cut-Elimination

Methods of Cut-Elimination (Trends in Logic, #34) (Trends in Logic: Studia Logica Library)

Sep 13, 2004

Cover of Automated Model Building

Automated Model Building (Applied Logic, #31)

Dec 16, 1996

Cover of The Resolution Calculus

The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS)

Jul 29, 1993

Cover of Resolution Methods for the Decision Problem

Resolution Methods for the Decision Problem (Lecture Notes in Artificial Intelligence, #679) (Lecture Notes in Computer Science, #679)