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