Handbook of proof theory

• Other Authors: Buss, Samuel R. (Editor)
• Format: Book
• Language: English
• Published: Amsterdam Elsevier 1998
• Series: Studies in logic and the foundations of mathematics. volume 137
• Subjects: ΕΣΑ; Υπολογισμός; HANDBOOK
• Item Description: τομέας εφαρμογών και θεμελιώσεων της επιστήμης των υπολογιστων. Εργαστηριο συνδυαστικων αλγορίθμων.
• Physical Description: 811p.
• ISBN: 0 444 89840 9