Proofs without syntax
From MaRDI portal
Publication:2469641
DOI10.4007/annals.2006.164.1065zbMath1130.03009arXivmath/0408282OpenAlexW2106988030MaRDI QIDQ2469641
Could not fetch data.
Publication date: 6 February 2008
Published in: (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0408282
Could not fetch data.
Could not fetch data.
