Inequality in constructive mathematics
type: Item
instance of: scholarly article
title: Inequality in constructive mathematics
zbMATH Open document ID: 0746.03050
author: Wim Ruitenburg
published in: Notre Dame Journal of Formal Logic
publication date: 1992-06-28T00:00:00Z
Mathematics Subject Classification ID: 03F50
Mathematics Subject Classification ID: 03F65
zbMATH DE Number: 31802
zbMATH Keywords: difference relations
zbMATH Keywords: constructive mathematics
zbMATH Keywords: denial inequality
zbMATH Keywords: apartness relation
zbMATH Keywords: constructive algebra
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1093635926
OpenAlex ID: W1981744626
DOI: 10.1305/NDJFL/1093635926
description: scientific article; zbMATH DE number 31802