Journal. People, Problems, and Proofs: Essays from Gödel's Lost Letter: 2010 [pppefgll2]

Backlinks

Reference. David Johnson: Galactic Algorithms [lipton2013]

2013
Richard J. Lipton, Kenneth W. Regan with contributions from Richard J. Lipton, Kenneth W. Regan
People, Problems, and Proofs: Essays from Gödel's Lost Letter: 2010
10.1007/978-3-642-41422-0_20
https://doi.org/10.1007/978-3-642-41422-0_20