A term of length 4 523 659 424 929
From MaRDI portal
Publication:1868160
DOI10.1023/A:1020827725055zbMath1016.03005MaRDI QIDQ1868160
Publication date: 27 April 2003
Published in: Synthese (Search for Journal in Brave)
Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05)
Related Items (5)
Computational logic: its origins and applications ⋮ A formalised theorem in the partition calculus ⋮ The role of syntactic representations in set theory ⋮ Radical anti-realism, Wittgenstein and the length of proofs ⋮ Mathias and set theory
This page was built for publication: A term of length 4 523 659 424 929
