Automated Search for Gödel's Proofs

journal contribution

posted on 2003-09-12, 00:00 authored by Wilfried Sieg, Clinton Field

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

History

Publisher Statement

All Rights Reserved

Date

2003-09-12

Usage metrics

Categories

Philosophy not elsewhere classified

Keywords

Philosophy Philosophy

Licence

Exports

RefWorks

BibTeX

Ref. manager

Endnote

DataCite

NLM

DC