Bar recursion and functionals of finite type /
| Основен автор: | Bezem, Marcus Aloysius |
|---|---|
| Формат: | Книга |
| Език: | English |
| Публикувано: |
Utrecht :
Drukkerij Elinkwijk BV,
1986.
|
| Налични ИМИ | Сигнатура: |
1230V |
|---|