The resolution calculus
Alexander Leitsch
Bok Engelsk 1997 · Electronic books
Utgitt | Berlin : Springer , c1997
|
---|---|
Omfang | VIII, 300 s. : fig.
|
Emner | |
Sjanger | |
Dewey | |
ISBN | 3540618821
|
Utgitt | Berlin : Springer , c1997
|
---|---|
Omfang | VIII, 300 s. : fig.
|
Emner | |
Sjanger | |
Dewey | |
ISBN | 3540618821
|