Ways of proof theory (De Gruyter, 2010)
Print version record