Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Balík do ruky 74 Balíkovna 49 GLS 54 Kurýr GLS 64 PPL 99 Zásilkovna 54

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Mathematical Logic Heinz-Dieter Ebbinghaus
Libristo kód: 39203108
Nakladatelství Springer Nature Switzerland AG, května 2022
This introduction to first-order logic clearly works out the role of first-order logic in the founda... Celý popis
? points 153 b
1 533
Skladem u dodavatele v malém množství Odesíláme za 12-17 dnů

30 dní na vrácení zboží


Mohlo by vás také zajímat


TOP
Mathematical Modelling Techniques Rutherford Aris / Brožovaná
common.buy 388
Mathematical Logic Heinz-Dieter Ebbinghaus / Pevná
common.buy 1 965
Principles of Mathematical Modeling Clive L. Dym / Pevná
common.buy 3 635
Mathematical Logic for Computer Science Mordechai Ben-Ari / Brožovaná
common.buy 1 977
La petite bibliotheque de Barbapapa Annette Tison / Pevná
common.buy 186

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.

Informace o knize

Plný název Mathematical Logic
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2022
Počet stran 304
EAN 9783030738419
Libristo kód 39203108
Váha 486
Rozměry 155 x 235 x 18
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet