A Friendly Introduction to Mathematical Logic

Name: A Friendly Introduction to Mathematical Logic
Author: Christopher C Leary

Auteur: Christopher C Leary

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: Christopher C Leary Lars Kristiansen

Engels
Paperback
9781942341079
10 augustus 2015
380 pagina's

Alle productspecificaties

Samenvatting

At the intersection of mathematics, computer science, and philosophy, mathematical logic examines the power and limitations of formal mathematical thinking. In this expansion of Leary's user-friendly 1st edition, readers with no previous study in the field are introduced to the basics of model theory, proof theory, and computability theory. The text is designed to be used either in an upper division undergraduate classroom, or for self study. Updating the 1st Edition's treatment of languages, structures, and deductions, leading to rigorous proofs of Godel's First and Second Incompleteness Theorems, the expanded 2nd Edition includes a new introduction to incompleteness through computability as well as solutions to selected exercises."

Productspecificaties

Inhoud

Taal: en
Bindwijze: Paperback
Oorspronkelijke releasedatum: 10 augustus 2015
Aantal pagina's: 380
Illustraties: Nee

Betrokkenen

Hoofdauteur: Christopher C Leary
Tweede Auteur: Lars Kristiansen
Hoofduitgeverij: Milne Library

Overige kenmerken

Extra groot lettertype: Nee
Product breedte: 152 mm
Product hoogte: 22 mm
Product lengte: 229 mm
Studieboek: Nee
Verpakking breedte: 152 mm
Verpakking hoogte: 22 mm
Verpakking lengte: 229 mm
Verpakkingsgewicht: 553 g

EAN

EAN: 9781942341079

Je vindt dit artikel in

Categorieën: Onderwijs & Didactiek

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

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.