Proof in Alonzo Church's and Alan Turing's Mathematical Logic
Undecidability of First-Order Logic
Format:Hardback
Publisher:Authorhouse
Published:7th Nov '12
Currently unavailable, and unfortunately no date known when it will be back
This hardback, "Proof in Alonzo Church's and Alan Turing's Mathematical Logic" from Jonathan O Chimakonam, was published 7th November 2012 by Authorhouse.
ISBN: 9781477286692
Dimensions: 229mm x 152mm x 12mm
Weight: 402g
166 pages