scientific article; zbMATH DE number 3979056

MaRDI QIDQ3744161zbMATH OpenFDO

Authors Ferdinanzo Arzarello

Publication date 1985

zbMATH Keywords

conservative extension

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Cited in

(1)

• Real Algebraic Strategies for MetiTarski Proofs

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 Q3744161)