proof in alonzo church's and alan turing's mathematical logic: undecidability of first-order logic (en Inglés)

chimakonam (ph d), jonathan o. · authorhouse