scientific article; zbMATH DE number 6614320

MaRDI QIDQ3188657zbMATH OpenFDO

Authors

Publication date 12 August 2016

Mathematics Subject Classification ID

Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Philosophical and critical aspects of logic and foundations (03A05) Proof theory and constructive mathematics (03Fxx)

Cited in

(2)

• From the universality of mathematical truth to the interoperability of proof systems
• Meaning is use: the case of propositional identity

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