Edge Rewrite
everything Source code View original
// HTMLRewriter · presentation

This page was redesigned at the edge.

Cloudflare fetched the original article and streamed it through HTMLRewriter to apply an entirely new visual system without rebuilding the source page.

// request.cf · coarse context

A page that knows where it met you.

Only coarse request metadata is shown. This demo does not display or persist visitor IP addresses.

Country
US
Cloudflare location
CMH
Connection
HTTP/2
Language
Not provided

Ray ID: a224f80d9f4719ef

Jump to content

Talk:Heyting arithmetic

Page contents not supported in other languages.
Add topic
From Wikipedia, the free encyclopedia
Latest comment: 7 years ago by Tuvok302 in topic External Links invalid
[edit]
Latest comment: 7 years ago1 comment1 person in discussion

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"