scientific article
From MaRDI portal
Publication:2736597
zbMath0988.03001MaRDI QIDQ2736597
Publication date: 11 September 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Towards a Theory of Mathematical Argument ⋮ Towards a theory of mathematical argument ⋮ The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider’s “Logical Approach to Discrete Math”
This page was built for publication:
