Basic proof theory
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Cambridge ; New York :
Cambridge University Press,
2000
|
| Έκδοση: | 2η έκδ. |
| Σειρά: | Cambridge tracts in theoretical computer science ;
; 43 |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| Φυσική περιγραφή: | xii, 417 σ.; εικ.; 23 εκ. |
|---|---|
| Βιβλιογραφία: | Περιέχει βιβλιογραφικές αναφορές και ευρετήριο |
| ISBN: | 0-521-77911-1 |