Semantics and logics of computation /
| Други автори: | Pitts, A. M., Dybjer, Peter. |
|---|---|
| Формат: | Книга |
| Език: | English |
| Публикувано: |
Cambridge UK ; New York :
Cambridge University Press,
1997.
|
| Серия: |
Publications of the Newton Institute
14 |
| Предмети: |
| Провери в Paniza Library, AUBG | Сигнатура: |
QA76 .S425 1997 |
|---|