PropertyValue
dbpprop:quoteProperty
  • But what Church had done was something rather different, and in a certain sense weaker. ... the Turing construction was more direct, and provided an argument from first principles, closing the gap in Church's demonstration.
  • Hodges p. 112
dbpprop:wikiPageUsesTemplate
is dbpprop:relatedInstance of