138711

References

Harvey M. Friedman

Concrete mathematical incompleteness: basic emulation theory

2018

in: Hilary Putnam on logic and mathematics, Dordrecht : Springer

Open Access Link