scientific article; zbMATH DE number 1070628

MaRDI QIDQ4357068zbMATH OpenFDO

Authors Stanley S. Wainer

Publication date 7 October 1997

zbMATH Keywords

elementary proof theorysurvey

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03)

Cited in

(2)

• scientific article; zbMATH DE number 941039 (Why is no real title available?)
• Techniques of computable set theory with applications to proof verification

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4357068)