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 |