Basic proof theory /
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Cambridge :
Cambridge University Press,
2000
|
| Έκδοση: | 2nd ed. |
| Σειρά: | Cambridge Tracts in Theoretical Computer Science ; ;
no. 43 |
| Θέματα: |