Inequality in constructive mathematics

DOI10.1305/ndjfl/1093635926zbMath0746.03050OpenAlexW1981744626MaRDI QIDQ1182691

Wim Ruitenburg

Publication date: 28 June 1992

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635926

zbMATH Keywords

constructive mathematicsapartness relationconstructive algebradenial inequalitydifference relations

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50)

Related Items (1)

Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice

This page was built for publication: Inequality in constructive mathematics