scientific article
From MaRDI portal
Publication:3396014
zbMath1169.03310arXivmath/0305213MaRDI QIDQ3396014
Elena Calude, Solomon Marcus, Cristian S. Calude
Publication date: 15 September 2009
Full work available at URL: https://arxiv.org/abs/math/0305213
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)
Related Items (2)
Formal Proof: Reconciling Correctness and Understanding ⋮ Incompleteness, Undecidability and Automated Proofs
This page was built for publication:
