Heyting arithmetic

GPTKB entity