Website Search
Find information on spaces, staff, and services.
Catalog Search
Books
Contracting proofs to programs
- Author / Creator
- Available as
- Physical
Details
Checking for availability...
- Creator
- Daniel Leivant
- Format
- Books
- Language
- English
- Publication
-
- Pittsburgh, Pa. : Carnegie Mellon University, Computer Science Dept., 1989
- Physical Details
-
- 52 pages ; 28 cm
- OCLC
- ocm20649588
- "July 25, 1989."
- "To appear in Piergiorgio Odifreddi (Editor), Logic and Computer Science, Academic Press."
- Includes bibliographical references.