scientific article; zbMATH DE number 1426640
From MaRDI portal
Publication:4950491
zbMath0951.00509MaRDI QIDQ4950491
Publication date: 4 April 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
EARLY BOLZANO ONGROUND-CONSEQUENCEPROOFS ⋮ Checking Proofs ⋮ Mathematics as the Art of Abstraction ⋮ Explanation by induction? ⋮ Radical anti-realism, Wittgenstein and the length of proofs
This page was built for publication: