Kniha Mathematical Logic Heinz-Dieter Ebbinghaus

Mathematical Logic

Jazyk: Angličtina
Väzba: Pevná
Dostupnosť: U vydavateľa na objednávku
Odosielame za 17-27 dní
78.18
This introduction to first-order logic clearly works out the role of first-order logic in the founda...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Pevná
Vydalo
2021
Stránok
304
EAN
9783030738389
ISBN
3030738388
Enbook ID
36551707
Hmotnosť
658
Rozmery
243 x 161 x 21

Kompletný popis

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

Mohlo by vás zaujímať

Mathematical Logic

Heinz-Dieter Ebbinghaus
54.21
78.18

Theory of Sets

Nicolas Bourbaki
68.35
42.82

Set Theory

Thomas Jech
205.18
34.07
67.18
63.64

Systems Modeling

Mukhtar Ahmed
192.71

Honda PCX125 &150 (10-19)

Haynes Publishing
40.07

Day Is Now Far Spent

Cardinal Robert Sarah
14.33
18.65
127.29

Tunisian Cookbook

Booksumo Press
9.62

Unattended Sorrow

Stephen Levine
13.64
12.46
16.39

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

63.64