Proof Complexity GeneratorsJan KrajicekPocketEngelskDel av serien London Mathematical Society Lecture Note SeriesLegg i handlekurvNettlager