Date of Original Version
9-12-2003
Type
Technical Report
Abstract or Table of Contents
Wilfred Sieg and Clinton Field. Automated Search for Gödel's Proofs.
9-12-2003
Technical Report
Wilfred Sieg and Clinton Field. Automated Search for Gödel's Proofs.
Comments
CMU-PHIL-144