Loading...
Proof theory: sequent calculi and related formalisms
| Main Author: | |
|---|---|
| Format: | Printed Book |
| Language: | English |
| Published: |
Boca Raton
CRC Press
2015
|
| Subjects: |
STA
| Call Number: |
517.3 BIM |
|---|---|
| Copy | Live Status Unavailable |