Talk:Heyting arithmetic

External Links invalid
I replaced http://wwwmath.uni-muenster.de/logik/Personen/burr/HA.ps with https://www.jstor.org/stable/2586698?seq=1 since the first link is no longer valid, and the second appears to be the same paper that was being referenced. Tuvok302 (talk) 20:15, 18 November 2018 (UTC)