Knygos.lt nariams
181,89 €
-15%
Įprastai
213,99 €
First-Order Logic and Automated Theorem Proving
Knygos.lt nariams
181,89 €
-15%
Įprastai
213,99 €
- Išsiųsime per 12–18 d.d.
This graduate-level text presents fundamental concepts and results of classical logic in a rigorous mathematical style. This new edition includes material on AE calculus, Herbrand's theorem, Gentzen's theorem, and related topics.
/images/books/10019452/9781461275152.jpg)
- Autorius: Melvin Fitting
- Leidėjas: Springer
- Metai: 2013
- Puslapiai: 326
- ISBN-10: 1461275156
- ISBN-13: 9781461275152
- Formatas: 17 x 24.4 x 1.8 cm, minkšti viršeliai
- Kalba: Anglų
First-Order Logic and Automated Theorem Proving (el. knyga) (skaityta knyga) | knygos.lt
Atsiliepimai
Aprašymas
This graduate-level text presents fundamental concepts and results of classical logic in a rigorous mathematical style. This new edition includes material on AE calculus, Herbrand's theorem, Gentzen's theorem, and related topics.
Knygos.lt nariams
181,89 €
-15%
Įprastai
213,99 €
Išsiųsime per 12–18 d.d.
- Autorius: Melvin Fitting
- Leidėjas: Springer
- Metai: 2013
- Puslapiai: 326
- ISBN-10: 1461275156
- ISBN-13: 9781461275152
- Formatas: 17 x 24.4 x 1.8 cm, minkšti viršeliai
- Kalba: Anglų
This graduate-level text presents fundamental concepts and results of classical logic in a rigorous mathematical style. This new edition includes material on AE calculus, Herbrand's theorem, Gentzen's theorem, and related topics.
Atsiliepimai