Paper Reviews

Title Authors Year
Computability and λ-Definability Alan Turing 1937
An Unsolveable Problem of Elementary Number Theory Alonzo Church 1936