1979:-
Uppskattad leveranstid 5-10 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Inbunden
- ISBN: 9781107167940
- Språk: Engelska
- Antal sidor: 193
- Utgivningsdatum: 2017-03-02
- Förlag: Cambridge University Press