Inequality in Constructive Mathematics

Wim Ruitenburg. Inequality in Constructive Mathematics. Notre Dame Journal of Formal Logic, 32(4):533-553, 1991.

Abstract

Abstract is missing.