scientific article

zbMATH Open1169.03310arXivmath/0305213MaRDI QIDQ3396014FDOQ3396014

Elena Calude, Solomon Marcus, Cristian S. Calude

Publication date: 15 September 2009

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

Title of this publication is not available (Why is that?)

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)