• Anglický jazyk

Bounded Variable Logics and Counting

Autor: Martin Otto

This monograph in finite model theory offers a comprehensive treatment of a variety of results in the model theory and descriptive complexity theory of infinitary logics with a bounded number of variables and logics with counting constructs.BRThe exposition... Viac o knihe

Na objednávku, dodanie 2-4 týždne

29.75 €

bežná cena: 35.00 €

O knihe

This monograph in finite model theory offers a comprehensive treatment of a variety of results in the model theory and descriptive complexity theory of infinitary logics with a bounded number of variables and logics with counting constructs.BRThe exposition is largely self-contained, with introductory sections on the relevant logics, model theoretic concepts, and the programme of descriptive complexity.

  • Vydavateľstvo: Springer
  • Rok vydania: 1997
  • Formát: Paperback
  • Rozmer: 235 x 155 mm
  • Jazyk: Anglický jazyk
  • ISBN: 9783540620372

Generuje redakčný systém BUXUS CMS spoločnosti ui42.