Handbook of proof theory - Buss, Samuel R. (Elsevier, 1998)
τομέας εφαρμογών και θεμελιώσεων της επιστήμης των υπολογιστων. Εργαστηριο συνδυαστικων αλγορίθμων.