| Shelfclass_id | 3.F.2 |
| Sortkey | PFENNING, FRANK |
| Authors | Frank Pfenning |
| Title | Types in Logic Programming |
| Publisher | MIT Press |
| Year | c1992 |
| Languages | eng |
| Isbn | 0262161311 |
| Series | Logic programming |
| Description | xviii, 357 p. 24 cm |
| Record date | 20060630 |
| Location | Cambridge, Mass. |
| Keywords | Logic programming |