Computability and Logic

Name: Computability and Logic
Brand: Cambridge University Press
SKU: 9780521701464
Price: 186.14 PLN
Availability: InStock

Autor: George S Boolos

Język:

Oprawa: Miękka

Wydawca: Cambridge University Press

Dostępność: Dostępna u dostawcy

Wysyłamy za 9-15 dni

186.14 zł

Computability and Logic has become a classic because of its accessibility to students without a math...

Informacje o książce

Autor

George S Boolos

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2007

strony

366

EAN

9780521701464

ISBN

0521701465

Enbook ID

04399100

Wydawca

Cambridge University Press

Waga

690

Wymiary

177 x 254 x 19

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Computability and Logic

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również