Kniha Mathematical Logic Daniel Cunningham

Mathematical Logic

An Introduction

Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: De Gruyter
Dostupnosť: Skladom u dodávateľa
Odosielame za 9-15 dní
72.59
This textbook reviews the foundational topics that are typically covered in an introduction to proof...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2023
Stránok
305
EAN
9783110782011
Enbook ID
42409506
Vydavateľ
Hmotnosť
449
Rozmery
170 x 240

Kompletný popis

This textbook reviews the foundational topics that are typically covered in an introduction to proof course and studies the language of sentential logic as well as investigating the more powerful language of first-order logic and the notion of a formal deduction in first-order logic, in addition, it proves Godel's Completeness Theorem and discusses incompleteness and the computability concept.

Mohlo by vás zaujímať

92.24
27.30

Mathematical Logic

Joel W Robbin
10.99

First-order Logic

Raymond M. Smullyan
8.34
115.82
151.19
10.31

Mathematical Logic

Heinz-Dieter Ebbinghaus
68.56

Periodontology

Richard Palmer
107.57
6.67
13.55

Time Has Grown Short

Trevor Cribben Merrill
26.91

A Show for Two

Tashie Bhuiyan
13.65

Shepherd

Frederick Forsyth
9.42

Cyber Security

Zhou Yu Zhou
38.01

100 Boyfriends

Brontez Purnell
13.06