Main image
Click to view image in fullscreen
![]()
Bounded Variable Logics and Counting
This study introduces some central ideas and lines of research in finite model theory - particularly bounded variable infinitary logics - and explores the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.
1 250,00 DH
Sur commande
This study introduces some central ideas and lines of research in finite model theory - particularly bounded variable infinitary logics - and explores the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.
| ISBN / EAN | 9781107167940 |
|---|---|
| Auteur | Otto, Martin (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany) |
| Editeur | Cambridge University Press |