Reductive logic and proof-search : proof theory, semantics, and control
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
New York:
Oxford University Press,
2004.
|
| Series: | Oxford logic guides;
v. 45 |
| Subjects: |