scientific article
From MaRDI portal
Publication:3032261
zbMath0691.03050MaRDI QIDQ3032261
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
proof theoryinfinitary logicinfinitesimalsprrof-theoretic version of nonstandard analysis applied to elementary calculus
Nonstandard models in mathematics (03H05) Other infinitary logic (03C75) Proof theory and constructive mathematics (03F99)
This page was built for publication: