Nemokamas pristatymas nuo 29€

  • check 10 + milijonai knygų
  • check Naujienos (kiekvieną dieną)
  • check 1 + mln. klientų mus pasitiki
  • check Geros kainos % Nuolaidos
  • check Nemokamas pristatymas nuo 29 eur

Bounded Variable Logics and Counting - Martin Otto

Anglų
2017-02-13
224,88 € 299,84 €

-25% su kodu BOOKS

Minkšti viršeliai Kieti viršeliai 299,84 €
Turime sandėlyje pas mūsų tiekėją

Pristatymas per 17-23 d.d.

30 dienų grąžinimo politika

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the ninth publication in the Lecture Notes in Logic series, Martin Otto gives an introduction to finite model theory that indicates the main ideas a ... Visas aprašymas

Jums taip pat gali patikti

Aprašymas

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the ninth publication in the Lecture Notes in Logic series, Martin Otto gives an introduction to finite model theory that indicates the main ideas and lines of inquiry that motivate research in this area. Particular attention is paid to bounded variable infinitary logics, with and without counting quantifiers, related fixed-point logics, and the corresponding fragments of Ptime. The relations with Ptime exhibit the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.

Daugiau informacijos

Autorius Martin Otto
Leidėjas Cambridge University Press
Išleidimo metai 2017
Viršelio tipas Kieti viršeliai
EAN 9781107167940
Parašykite savo atsiliepimą
Jūs peržiūrėjote: Bounded Variable Logics and Counting
Jūsų įvertinimas:

Goodreads Atsiliepimai

224,88 € 299,84 €