| ID | 351602 |
| Call Number | 511.36 K12A |
| Title Proper | Advances in proof theory |
| Language | ENG |
| Author | Kahle, Reinhard, [ed.] ; Strahm, Thomas, [ed.] ; Studer, Thomas, [ed.] |
| Publication | Switzerland, Birkhauser, 2016. |
| Description | xii:425p.+ 23.5cm. |
| Standard Number | 978-3-319-29196-3 |
| Price. Qualification | HB |
| Classification Number | 511.36 |
| Key Words | Proof theory |