Dataset - CKAN

Towards a Theory of Proofs of Classical Logic

The questions <EM>"What is a proof?"</EM> and <EM>"When are two proofs the same?"</EM> are fundamental for proof theory. But for the most...
- HTML

You can also access this registry using the API (see API Docs).