Terug Terug

Computability and Logic

Name: Computability and Logic
Author: John P. Burgess

Auteur: George S. Boolos

Taal: Engels

Afbeeldingen

Inkijkexemplaar

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Uitgever: Cambridge University Press

Auteur: George S. Boolos John P. Burgess

Co-auteur: Richard C. Jeffrey

Engels
Paperback
9780521701464
17 september 2007
366 pagina's

Alle productspecificaties

Samenvatting

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.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Paperback
Oorspronkelijke releasedatum: 17 september 2007
Aantal pagina's: 366
Illustraties: Nee

Betrokkenen

Hoofdauteur: George S. Boolos
Tweede Auteur: John P. Burgess
Co Auteur: Richard C. Jeffrey
Hoofduitgeverij: Cambridge University Press

Overige kenmerken

Editie: 5
Extra groot lettertype: Nee
Product breedte: 178 mm
Product hoogte: 19 mm
Product lengte: 254 mm
Studieboek: Ja
Verpakking breedte: 177 mm
Verpakking hoogte: 25 mm
Verpakking lengte: 260 mm
Verpakkingsgewicht: 774 g

EAN

EAN: 9780521701464

Je vindt dit artikel in

Categorieën: Wetenschap & Natuur

Religie, Spiritualiteit & Filosofie

Filosofie

Wiskunde

Logica

Grondslagen van de wiskunde

Wiskundige logica

Boeken
Beschikbaarheid: Leverbaar
Taal: Engels
Boek, ebook of luisterboek?: Boek
Studieboek of algemeen: Studieboeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.