Handbook of proof theory

• Άλλοι συγγραφείς: Buss, Samuel R. (Επιμελητής έκδοσης)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Amsterdam Elsevier 1998
• Σειρά: Studies in logic and the foundations of mathematics. volume 137
• Θέματα: ΕΣΑ; Υπολογισμός; HANDBOOK
• Περιγραφή τεκμηρίου: τομέας εφαρμογών και θεμελιώσεων της επιστήμης των υπολογιστων. Εργαστηριο συνδυαστικων αλγορίθμων.
• Φυσική περιγραφή: 811p.
• ISBN: 0 444 89840 9