Mathematical Logic

Name: Mathematical Logic
Brand: Springer Nature Switzerland AG
SKU: 9783030738419
Price: 1120 CZK
Availability: InStock

Autor: Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer Nature Switzerland AG

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 120 Kč

This introduction to first-order logic clearly works out the role of first-order logic in the founda...

Informace o knize

Autor

Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2022

Stránek

304

EAN

9783030738419

Enbook ID

39203108

Vydavatel

Springer Nature Switzerland AG

Hmotnost

486

Rozměry

155 x 235 x 18

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Mathematical Logic

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také