scientific article; zbMATH DE number 5604130

MaRDI QIDQ3396014zbMATH OpenFDO

Authors Elena Calude, Solomon Marcus, Cristian S. Calude

Publication date 15 September 2009

Full work available at URL https://arxiv.org/abs/math/0305213

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Cited in

(2)

• Formal Proof: Reconciling Correctness and Understanding
• Incompleteness, Undecidability and Automated 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 Q3396014)