Kniha Mathematical Logic Heinz-Dieter Ebbinghaus

Mathematical Logic

Jazyk: Angličtina
Vazba: Pevná
Dostupnost: Skladem u dodavatele
Odesíláme za 10-13 dnů
1 566
This introduction to first-order logic clearly works out the role of first-order logic in the founda...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Pevná
Vydáno
2021
Stránek
304
EAN
9783030738389
ISBN
3030738388
Enbook ID
36551707
Hmotnost
658
Rozměry
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 zajímat

Mathematical Logic

Heinz-Dieter Ebbinghaus
1 120
1 566

Theory of Sets

Nicolas Bourbaki
1 574

Set Theory

Thomas Jech
4 566
576
1 455
1 342

Systems Modeling

Mukhtar Ahmed
3 882

Honda PCX125 &150 (10-19)

Haynes Publishing
969

Day Is Now Far Spent

Cardinal Robert Sarah
324
400
2 768

Tunisian Cookbook

Booksumo Press
234

Unattended Sorrow

Stephen Levine
331
279
370

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

1 276