Mathematical Logic

Name: Mathematical Logic
Brand: Springer Nature Switzerland AG
SKU: 9783030738389
Price: 291.13 PLN
Availability: InStock

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

Język:

Oprawa: Twarda

Wydawca: Springer Nature Switzerland AG

Dostępność: Dostępna u dostawcy

Wysyłamy za 10-13 dni

291.13 zł

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

Informacje o książce

Autor

Heinz-Dieter Ebbinghaus, Jorg Flum, Wolfgang Thomas

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

2021

strony

304

EAN

9783030738389

ISBN

3030738388

Enbook ID

36551707

Wydawca

Springer Nature Switzerland AG

Waga

658

Wymiary

243 x 161 x 21

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Mathematical Logic

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również