Page "Saul Kripke" Paragraph 214
from
Wikipedia
* Video of his talk " From Church's Thesis to the First Order Algorithm Theorem ," June 13, 2006.
Page 1 of 1.
1.948 seconds.