Harvey M. Friedman
(2010-2019)
XConcrete mathematical incompleteness
2018
in: Hilary Putnam on logic and mathematics, Dordrecht : Springer
(2010-2019)
XConcrete mathematical incompleteness
2018
in: Hilary Putnam on logic and mathematics, Dordrecht : Springer