An edition of The resolution calculus (1997)
The resolution calculus
By Alexander Leitsch
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
1997
Publisher
Springer
Language
eng
Pages
300
Book Lists