Computability, complexity, logic /
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Amsterdam :
North-Holland,
c1989
|
| Σειρά: | Studies in logic and the foundations of mathematics ; ;
volume 128 |
| Θέματα: |