Advances in proof theory - Kahle, Reinhard 1967-; Strahm, Thomas; Studer, Thomas 1972- (Birkhäuser, 2016)
Auf dem Umschlag: "Comprises contributions from the symposium "Advances in proof theory", which was held in Bern in December 2013."
Literaturangaben
Keywords: Beweistheorie; Konferenzschrift