Heyting arithmetic

From Free net encyclopedia