Mathematical Logic (Dover Books on Mathematics). Kleene 9780486425337 New**

Mathematical Logic (Dover Books on Mathematics). Kleene 9780486425337 New**

Dover Publications Inc.

Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text. It begins with an elementary but thorough overview of mathematical logic of first order. The treatment extends beyond a single method of formulating logic to offer instruction in a variety of techniques: model theory (truth tables), Hilbert-type proof theory, and proof theory handled through derived rules.\nThe second part supplements the previously discussed material and introduces some of the newer ideas and the more profound results of twentieth-century logical research. Subsequent chapters explore the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the\n\nMathematical Logic\n\nFree UK delivery on this item.\n\nThis brand new item is available with free UK delivery using Royal Mail tracked services.\n\nPlease note: the price advertised is as low as;

Compare prices (10 shops)

shop Price Action
17,73 GBP Go to shop
18,55 GBP Go to shop
18,89 GBP Go to shop
19,68 GBP Go to shop
20,25 GBP Go to shop
20,34 GBP Go to shop
20,84 GBP Go to shop
20,90 GBP Go to shop
24,99 GBP Go to shop
28,99 GBP Go to shop

Similar products