| Shelfclass_id | 3.F.2 |
| Sortkey | WOLFRAM, D. A |
| Authors | D. A. Wolfram |
| Title | The Clausal Theory of Types |
| Publisher | Cambridge University Press |
| Year | 1993 |
| Languages | eng |
| Isbn | 0521395380 |
| Series | Cambridge tracts in theoretical computer science |
| Volume | 21 |
| Description | (hardback) ยน24.95 viii, 124 p. 26 cm |
| Record date | 20060630 |
| Location | New York |
| Keywords | Logic programming |
| Urlnote | Table of contents |
| Urls | http://www.loc.gov/catdir/toc/cam029/93246461.html |