Overview
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.
- | Author: Martin Otto
- | Publisher: Cambridge University Press
- | Publication Date: Feb 03, 2017
- | Number of Pages: 193 pages
- | Language: English
- | Binding: Hardcover/Mathematics
- | ISBN-10: 1107167949
- | ISBN-13: 9781107167940
