Könyv Mathematical Logic Heinz-Dieter Ebbinghaus

Mathematical Logic

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 016 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 - Puha kötésű
Kiadva
2022
oldal
304
EAN
9783030738419
Enbook ID
39203108
Súly
486
Méretek
155 x 235 x 18

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
26 570 Ft
3 802 Ft
22 786 Ft

Computability Theory

Herbert Enderton
25 629 Ft
4 870 Ft
5 172 Ft
4 271 Ft

LEADING THE WAY

Mary Lindeen
3 126 Ft

Art of Flavour

Daniel Patterson
10 141 Ft

Greek Mythology Reading Cards

Alison Chichester-Lambert
6 001 Ft
2 928 Ft
5 257 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

Science Of Logic

Georg Hegel
3 712 Ft

dtv-Atlas Akupunktur

Carl-Hermann Hempen
6 816 Ft
11 141 Ft

Chat GPT

Évolution Personnelle
10 186 Ft

Drei einzige Toechter

Berthold Auerbach
5 771 Ft
10 186 Ft

Handbuch der Kinderkrankheiten

Carl Christian Jacob Gerhardt
13 483 Ft
2 442 Ft