Summary goes here
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | a1240fff-e427-46ff-b6d1-b1ac25637f21 |
| isbn | 0521395380 : |
| issn | |
| language | eng |
| physical | viii, 124 pages ;26 cm. |
| publication | – publisher: Cambridge University Press dateOfPublication: 1993 |
| publishDate | 1993 |
| subjects | |
| title | The clausal theory of types / D.A. Wolfram. |
| topic | Logic programming. |