scientific article; zbMATH DE number 1414376
From MaRDI portal
Publication:4942691
zbMath0948.03005MaRDI QIDQ4942691
No author found.
Publication date: 28 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Assertion and grounding: a theory of assertion for constructive type theory ⋮ The assertion-candidate and the meaning of mood
This page was built for publication:
