![](/img/cover-not-exists.png)
An elementary proof of Wiebe's Theorem
Coquand, Thierry, Tête, ClaireVolume:
499
Language:
english
Journal:
Journal of Algebra
DOI:
10.1016/j.jalgebra.2017.12.003
Date:
April, 2018
File:
PDF, 263 KB
english, 2018