0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (2)
  • R2,500 - R5,000 (1)
  • -
Status
Brand

Showing 1 - 3 of 3 matches in All Departments

Computability and Logic (Hardcover, 5th Revised edition): George S. Boolos, John P. Burgess, Richard C Jeffrey Computability and Logic (Hardcover, 5th Revised edition)
George S. Boolos, John P. Burgess, Richard C Jeffrey
R2,733 Discovery Miles 27 330 Ships in 12 - 19 working days

Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems. This updated edition is also accompanied by a website as well as an instructor's manual.

Computability and Logic (Paperback, 5th Revised edition): George S. Boolos, John P. Burgess, Richard C Jeffrey Computability and Logic (Paperback, 5th Revised edition)
George S. Boolos, John P. Burgess, Richard C Jeffrey
R1,065 Discovery Miles 10 650 Ships in 12 - 19 working days

Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems. This updated edition is also accompanied by a website as well as an instructor's manual.

The Logic of Provability (Paperback, Revised): George S. Boolos The Logic of Provability (Paperback, Revised)
George S. Boolos
R1,049 Discovery Miles 10 490 Ships in 12 - 19 working days

This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency (1979). Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Here it receives its first scientific application since its invention.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
People's War - New Light On The Struggle…
Anthea Jeffery Paperback  (1)
R320 R286 Discovery Miles 2 860
Pantum TL410 Black
R1,050 Discovery Miles 10 500
HP 953 Magenta Original Ink Cartridge…
R570 Discovery Miles 5 700
HP 90A Black Compatible Toner Cartridge…
R850 Discovery Miles 8 500
HP 85A Original Printer Toner (Black)
R1,700 Discovery Miles 17 000
Brother TN277 Cyan Laser Toner Cartridge
R1,899 R1,650 Discovery Miles 16 500
Canon PG-445XL High-Yield Inkjet…
 (25)
R462 Discovery Miles 4 620
HP 26A Black Compatible Toner Cartridge…
R350 Discovery Miles 3 500
HP 307A Original Printer Toner (Yellow)
R4,599 R3,999 Discovery Miles 39 990
The Power Of Strangers - The Benefits Of…
Joe Keohane Hardcover R391 Discovery Miles 3 910

 

Partners