Talk:Heyting arithmetic
 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
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)