Date of Original Version

9-12-2003

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Table of Contents

Wilfred Sieg and Clinton Field. Automated Search for Gödel's Proofs.

Comments

CMU-PHIL-144

Included in

Philosophy Commons

Share

COinS