The clausal theory of types / D.A. Wolfram
| Main Author: | Wolfram, D.A |
|---|---|
| Format: | Book |
| Publication: |
Cambridge, United Kingdom : Cambridge University Press, 1993 |
| Physical Description: | VIII, 124 p. ; 25 cm |
| Clasificación CDU: |
* 681.3 681.3 |
| Título abreviado: |
Cambridge tracts in theoretical computer science |
| Subjects: | |
| ISBN: |
0521395380 |
Córdoba - Depósito
| Copy 55442 | Available |
|---|