Date of Original Version

4-1994

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Description

Richard Scheines and Wilfred Sieg. Computer Environments for Proof Construction.

Comments

CMU-PHIL-52

Included in

Philosophy Commons

Share

COinS