Talk:Heyting arithmetic

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

External Links invalid[edit]

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)[reply]