
Logic for Mathematicians
787 kr
787 kr
Tor, 17 jul - ons, 23 jul
Säker betalning
14-dagars öppet köp
Säljs och levereras av
AdlibrisProduktbeskrivning
Here is an introductory textbook which is designed to be useful not only to intending logicians but also to mathematicians in general. Based on Dr Hamilton’s lectures to third and fourth year undergraduate mathematicians at the University of Stirling it has been written to introduce student or professional mathematicians, whose background need cover no more than a typical first year undergraduate mathematics course, to the techniques and principal results of mathematical logic. In presenting the subject matter without bias towards particular aspects, applications or developments, an attempt has been made to place it in the context of mathematics and to emphasise the relevance of logic to the mathematician. Starting at an elementart level, the text progresses from informal discussion to the precise description and use of formal mathematical and logical systems. The early chapters cover propositional and predicate calculus. The later chapters deal with Gödel’s theorem on the incompleteness of arithmetic and with various undecidability and unsolvability results, including a discussion of Turing machines and abstract computability. Each section ends with exercises designed to clarify and consolidate the material in that section. Hints or solutions to many of these are provided at the end of the book. The revision of this very successful textbook includes new sections on Skolemisation and applying well-formed formulas to logic programming. Some corrections have been made and extra exercises added.
Artikel.nr.
2fd77848-60d7-4c05-9914-4413ee47d8e2
Logic for Mathematicians
787 kr
787 kr
Tor, 17 jul - ons, 23 jul
Säker betalning
14-dagars öppet köp
Säljs och levereras av
AdlibrisLiknande toppsäljare

3-pack rakblad kompatibel med Philips Oneblade Replacement
159 kr

Apple AirPods Pro (andra generationen) 2023 med MagSafe-fodral (USB-C)
2 698 kr

POP MART Labubu The Monsters Exciting Macaron Vinyl Face Blind Box
499 kr

Trådlös CarPlay adapter 2025 - En smart och modern lösning för din bil
219 kr
Tidigare lägsta pris:
295 kr

POP MART Labubu The Monsters Big Into Energy Series Figures Vinyl Plush Pendant Blind Box
499 kr

Rakapparat med dubbla huvuden 2-i-1 för Kvinnor, IPX7 Vattentät, Bikinitrimmer, Dubbelhuvud, Typ-C Ljusrosa
221 kr

iPhone Snabbladdare USB-C PD 3.0. 20W Strömadapter + Kabel
117 kr

INF TYPE-C Dubbel SD/TF-kortläsare för snabb dataöverföring 0
79 kr

Apple AirPods 4 med aktiv brusreducering
2 060 kr

UNIQ XL Hollywood Spegel med 15 LED-lampor och touch-funktion - sminkspegel med belysning - hollywoodspegel
749 kr
Tidigare lägsta pris:
795 kr
Rekommendationer för dig

168-Pack Tuschpennor med Fodral - Färgpennor Dubbelsidiga Pennor
299 kr
Tidigare lägsta pris:
399 kr

Playstation 5 DualSense Controller Midnight Black
794 kr

FENCHILIN Hollywood sminkspegel med belysning - 360° vridbar - dimbar med tre ljuslägen - spegel med förstoring - bordsskiva vit spegel - 30 x 41 cm
551 kr
Tidigare lägsta pris:
583 kr

UNIQ XL Hollywood Spegel med 15 LED-lampor och touch-funktion - sminkspegel med belysning - hollywoodspegel
749 kr
Tidigare lägsta pris:
795 kr

Fjärrkontroll Philips Smart TV med Netflix – Universell
89 kr
Tidigare lägsta pris:
99 kr

Trottinette Elektrisk för vuxna AOVOPRO Däck 8,5'' hopfällbar
2 155 kr

Fotoalbum 300 bilder limbundet
119 kr
Tidigare lägsta pris:
129 kr

X500 Trådlösa Bluetooth Hörlurar - 30 timmar C4U® ANC ENC BT 5.3
269 kr
Tidigare lägsta pris:
399 kr

Herbicidspray för gräsmatta 500ml Bekämpar klövermilkweed
336 kr

Usb-c till Lightning-kabel (3 m)
59 kr
Tidigare lägsta pris:
79 kr