Volker Halbach, Leon Horsten

Two Proof-theoretic Remarks on EA + ECT

Two Proof-theoretic Remarks on EA + ECT

Volker Halbach, Leon Horsten — 1999

Deep cut – we couldn't find a description for this book.