![](/img/cover-not-exists.png)
Assertion and grounding: a theory of assertion for constructive type theory
Maria van der SchaarVolume:
183
Language:
english
Pages:
24
DOI:
10.1007/s11229-010-9758-7
Date:
November, 2011
File:
PDF, 231 KB
english, 2011