A formulation of the simple theory of types :
for Isabelle /
Lawrence C. Paulson.
Description
| Main Author: | Paulson, Lawrence C. |
|---|---|
| Language(s): | English |
| Published: |
Cambridge [Cambridgeshire] : University of Cambridge, Computer Laboratory, 1989. |
| Subjects: |
Automatic theorem proving.
Type theory. |
| Note: |
"2 August 1989." |
| Physical Description: |
32 p. ;
21 cm.
|
| Locate a Print Version: |
Find in a library |
Viewability
| Item Link | Original Source |
|---|---|
| Limited (search only) | University of California |