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: |
KOLEKSI TERBUKA
| Call Number: |
QA 9 .P9 2004 |
|---|
| Accession | Item Category | Format | Status | Notes |
|---|
| 1100034958 | Open Shelf | Book | AVAILABLE |