Kniha Mathematical Logic Heinz-Dieter Ebbinghaus

Mathematical Logic

Jazyk: Angličtina
Väzba: Pevná
Dostupnosť: Skladom u dodávateľa
Odosielame za 10-13 dní
68.40
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
48.99
68.40

Theory of Sets

Nicolas Bourbaki
68.20
37.23

Set Theory

Thomas Jech
199.32
25.18
63.50
58.69

Systems Modeling

Mukhtar Ahmed
169.43

Honda PCX125 &150 (10-19)

Haynes Publishing
39.97

Day Is Now Far Spent

Cardinal Robert Sarah
14.30

Ultimate Mathematical Challenge

The UK Mathematics Trust
15.57
18.61

Tunisian Cookbook

Booksumo Press
9.59
12.44
127.00
13.02

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

55.75