RIGOUR AND PROOF – CORRIGENDUM

DOI10.1017/S1755020322000028MaRDI QIDQ5880432zbMATH OpenFDO

Authors Oliver William Tatton-Brown

Publication date 2 March 2023

Published in The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

validitymathematical practicemathematical proofmathematical rigourlength of proofsformalizability

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Methodology of mathematics (00A35)

Cited in

(2)

• Corrigendum and addendum to “results of farkas type” this journal 9, 471–520 (1987)
• Erratum to: ``Between proof and truth

This page was built for publication: RIGOUR AND PROOF – CORRIGENDUM

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