Jonathan O. Chimakonam (Ph D)

• Proof in Alonzo Church's and Alan Turing's Mathematical Logic