That is the same link. It produces a HTML page containing a abstract of the pape...

a1369209993 on Dec 18, 2019 | parent | context | favorite | on: Kurt Gödel and the Mechanization of Mathematics

That is the same link. It produces a HTML page containing a abstract of the paper (not the paper itself) and a link that purports to be to the full paper, but actually 302 redirects back your (abstract) link.