Jonathan O. Chimakonam (Ph.D): Proof in Alonzo Church's and Alan Turing's Mathematical Logic: Undecidability of First-Order Logic
____________________________
Author: Jonathan O. Chimakonam (Ph.D)
Number of Pages: 166 pages
Published Date: 08 Nov 2012
Publisher: AUTHORHOUSE
Publication Country: Bloomington, United States
Language: English
ISBN: 9781477286708
Download Link: Click Here
____________________________