Available Indexes

A formulation of the simple theory of types :
for Isabelle /
Lawrence C. Paulson.

Description

Tools

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
View HathiTrust MARC record