Mathematical Logic

Name: Mathematical Logic
Brand: Springer Nature Switzerland AG
SKU: 9783030738389
Price: 78.18 EUR
Availability: InStock

Autor: Heinz-Dieter Ebbinghaus, Jorg Flum, Wolfgang Thomas

Jazyk:

Väzba: Pevná

Vydavateľ: Springer Nature Switzerland AG

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

Autor

Heinz-Dieter Ebbinghaus, Jorg Flum, Wolfgang Thomas

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2021

Stránok

304

EAN

9783030738389

ISBN

3030738388

Enbook ID

36551707

Vydavateľ

Springer Nature Switzerland AG

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ť

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

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Mathematical Logic

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

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