| Shelfclass_id | 4.B.3 |
| Sortkey | CONSTABLE, R. L |
| Authors | R. L. Constable |
| Title | Implementing Mathematics with the Nuprl Proof Development System |
| Publisher | Prentice-Hall |
| Year | c1986 |
| Languages | eng |
| Isbn | 0134518322 |
| Description | x, 299 p. ill. 24 cm |
| Record date | 20060713 |
| Location | Englewood Cliffs, N.J. |
| Keywords | Automatic theorem proving, Nuprl (Computer system), Mathematics |
| Notes | Includes index |