scientific article

zbMath1439.03010MaRDI QIDQ3305196

David Fernández-Duque

Publication date: 6 August 2020

Full work available at URL: https://miscelaneamatematica.org/welcome/default/download/tbl_articulos.pdf2.bf87bc112b3a77c5.353630342e706466.pdf

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) Gödel numberings and issues of incompleteness (03F40)

Cites Work

• Provability algebras and proof-theoretic ordinals. I
• Systems of predicative analysis
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: