Proof Theory : Sequent Calculi and Related Formalisms
| Main Author: | |
|---|---|
| Series: | Discrete mathematics and its applications
|
| Subjects: |
KOLEKSI TERBUKA
| Call Number: |
QA 9.54 .B53 2015 |
|---|
| Accession | Item Category | Format | Status | Notes |
|---|
| 1100094540 | Open Shelf | Book | AVAILABLE |