Logic from computer science: proceedings of a workshop held November 13-17, 1989
| Main Author: | Y.N. Moschovakis |
|---|---|
| Format: | TEXT |
| Published: |
Springer-Verlag
|
| Subjects: |