An Introduction to Mathematical Logic

Name: An Introduction to Mathematical Logic
Author: Hodel

Auteur: Hodel

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: Hodel Richard E. Hodel

Co-auteur: Hodel Richard E. Hodel

Engels
Paperback
9780486497853
01 februari 2013
491 pagina's

Alle productspecificaties

Samenvatting

Widely praised for its clarity and thorough coverage, this comprehensive overview of mathematical logic is suitable for readers of many different backgrounds. Designed primarily for advanced undergraduates and graduate students of mathematics, the treatment also contains much of interest to advanced students in computer science and philosophy.
An introductory section prepares readers for successive chapters on propositional logic and first-order languages and logic. Subsequent chapters shift in emphasis from an approach to logic from a mathematical point of view to the interplay between mathematics and logic. Topics include the theorems of Gödel, Church, and Tarski on incompleteness, undecidability, and indefinability; a rigorous treatment of recursive functions and recursive relations; computability theory; and Hilbert's Tenth Problem. Numerous exercises appear throughout the text, and an appendix offers helpful background on number theory.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Paperback
Oorspronkelijke releasedatum: 01 februari 2013
Aantal pagina's: 491
Illustraties: Nee

Betrokkenen

Hoofdauteur: Hodel
Tweede Auteur: Richard E. Hodel
Co Auteur: Richard E. Hodel
Hoofduitgeverij: Dover Publications Inc.

Overige kenmerken

Extra groot lettertype: Nee
Product breedte: 150 mm
Product hoogte: 28 mm
Product lengte: 226 mm
Studieboek: Ja
Verpakking breedte: 158 mm
Verpakking hoogte: 32 mm
Verpakking lengte: 233 mm
Verpakkingsgewicht: 732 g

EAN

EAN: 9780486497853

Je vindt dit artikel in

Categorieën: Wetenschap & Natuur

Wiskunde

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.