Semantics and logics of computation
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Cambridge :
Cambridge University Press,
1997
|
| Σειρά: | Publications of the Newton Institute ;
14 |
| Θέματα: |