Proof in Alonzo Church's and Alan Turing's Mathematical Logic: Undecidability of First-Order Logic

By Jonathan O. Chimakonam and Jonathan O. Chimakonam (Ph D)

Book Overview

In the year 1900 the German Mathematician David Hilbert gave a curious address in Paris, at the meeting of the 2nd International Congress of Mathematicians he titled his address Mathematical Problems... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1477286705
• ISBN13: 9781477286708
• Release Date: November 2012
• Publisher: Authorhouse
• Length: 166 Pages
• Weight: 0.55 lbs.
• Dimensions: 0.4" x 6.0" x 9.0"