Proofs and Computations.
This major graduate-level text provides a detailed, self-contained coverage of proof theory.
Saved in:
| Online Access: |
Full Text (via Cambridge) |
|---|---|
| Main Author: | |
| Other Authors: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge :
Cambridge University Press,
2011.
|
| Series: | Perspectives in logic.
|
| Subjects: |