Książka Mathematical Logic Heinz-Dieter Ebbinghaus

Mathematical Logic

Język: Angielski
Oprawa: Twarda
Dostępność: Dostępna u dostawcy
Wysyłamy za 10-13 dni
291.13
This introduction to first-order logic clearly works out the role of first-order logic in the founda...

Informacje o książce

Język
Angielski
Oprawa
Książka - Twarda
Data wydania
2021
strony
304
EAN
9783030738389
ISBN
3030738388
Enbook ID
36551707
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

Mathematical Logic

Heinz-Dieter Ebbinghaus
208.50
291.13

Theory of Sets

Nicolas Bourbaki
304.12
158.70

Set Theory

Thomas Jech
848.41
107.03
270.52
249.91

Systems Modeling

Mukhtar Ahmed
721.25

Honda PCX125 &150 (10-19)

Haynes Publishing
170.32

Day Is Now Far Spent

Cardinal Robert Sarah
65.13
78.41
540.56

Tunisian Cookbook

Booksumo Press
43.26

Unattended Sorrow

Stephen Levine
62.01
56.44
74.12

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