Browse editions

Current edition
The Resolution Calculus by Alexander Leitsch

The Resolution Calculus

Texts in Theoretical Computer Science. an Eatcs

Alexander Leitsch

300 pages • missing pub info (editions)

nonfiction computer science mathematics
Other editions (0)