Intuitionistic arithmetic

From Free net encyclopedia