Tell your friends about this item:
Bounded Variable Logics and Counting: A Study in Finite Models - Lecture Notes in Logic Otto, Martin (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany)
Price
HK$ 1,291
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Oct 28 - Nov 9
Christmas presents can be returned until 31 January
Get notified about new Otto, Martin (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany) releases
Our customers say:
Add to your iMusic wish list
Bounded Variable Logics and Counting: A Study in Finite Models - Lecture Notes in Logic
Otto, Martin (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany)
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.
193 pages, 8 b/w illus.
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | March 2, 2017 |
| ISBN13 | 9781107167940 |
| Publishers | Cambridge University Press |
| Pages | 194 |
| Dimensions | 161 × 235 × 19 mm · 450 g |
| Language | English |
