Jump to content

Talk:Heyting arithmetic

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

This is the current revision of this page, as edited by Cewbot (talk | contribs) at 09:19, 3 February 2024 (Maintain {{WPBS}} and vital articles: 1 WikiProject template. Create {{WPBS}}. Keep majority rating "Start" in {{WPBS}}. Remove 1 same rating as {{WPBS}} in {{Maths rating}}. Remove 1 deprecated parameter: field.). The present address (URL) is a permanent link to this version.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)
[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]

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Heyting_arithmetic&oldid=1202698995"