Advances in Proof TheoryReinhard Kahle, Thomas Studer og 1 annenPocketEngelskDel av serien Progress in Computer Science and Applied LogicLegg i handlekurvNettlager