Könyv Mathematical Logic Heinz-Dieter Ebbinghaus

Mathematical Logic

Nyelv: Angol
Kötés: Kemény kötésű
Elérhetőség: Beszállítói készleten
Küldés 10-13 napon belül
26 469 Ft
This introduction to first-order logic clearly works out the role of first-order logic in the founda...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Kemény kötésű
Kiadva
2021
oldal
304
EAN
9783030738389
ISBN
3030738388
Enbook ID
36551707
Súly
658
Méretek
243 x 161 x 21

Teljes leírás

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.

Érdekelheti

Mathematical Logic

Heinz-Dieter Ebbinghaus
18 943 Ft
26 469 Ft

Theory of Sets

Nicolas Bourbaki
26 088 Ft
14 415 Ft

Set Theory

Thomas Jech
76 962 Ft
9 707 Ft
24 593 Ft
22 699 Ft

Systems Modeling

Mukhtar Ahmed
65 437 Ft

Tunisian Cookbook

Booksumo Press
3 913 Ft

Unattended Sorrow

Stephen Levine
5 690 Ft
7 230 Ft
4 896 Ft
4 142 Ft
45 143 Ft

Ultimate Mathematical Challenge

The UK Mathematics Trust
5 892 Ft
25 334 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták