An ITP Workbook
John Arnold Kalman · 1986
This collection of exercises has been prepared to teach the use of the automated reasoning system ITP. Previous knowledge of automated reasoning is not presumed. The exercises are designed for use with the UNIX operating system.