The Undecidable; New York 1982 Why Gödel did not have Church’s Thesis (1965)

by Martin Davis
Venue:Information and Control