Alexander Leitsch | Bookhype

Applied Logic

Cover of Automated Model Building

Book #31: Automated Model Building

Lecture Notes in Artificial Intelligence

Cover of Resolution Methods for the Decision Problem

Book #679: Resolution Methods for the Decision Problem

Lecture Notes in Computer Science

Cover of Resolution Methods for the Decision Problem

Book #679: Resolution Methods for the Decision Problem

Texts in Theoretical Computer Science. An EATCS

Trends in Logic

Cover of Methods of Cut-Elimination

Book #34: Methods of Cut-Elimination

Trends in Logic: Studia Logica Library