Mathematical Logic

Name: Mathematical Logic
Brand: Springer Nature Switzerland AG
SKU: 9783030738419
Price: 51.72 EUR
Availability: InStock

Автор: Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

Език:

Корици: С меки корици

Издател: Springer Nature Switzerland AG

Наличност: Външен склад

Изпращаме след 5-8 дни

51.72 € 101.16 лв

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

Информация за книгата

Автор

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

Език

Английски език

Корици

Книга - С меки корици

Издадена

2022

страници

304

EAN

9783030738419

Enbook ID

39203108

Издател

Springer Nature Switzerland AG

Теглоt

486

Размери

155 x 235 x 18

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Mathematical Logic

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също