Mathematics and Logic as Information Compression by Multiple Alignment, Unification and Search
From MaRDI portal
Publication:6473076
arXivmath/0308153MaRDI QIDQ6473076
No author found.
Publication date: 15 August 2003
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)
This page was built for publication: Mathematics and Logic as Information Compression by Multiple Alignment, Unification and Search