Bounded Variable Logics and Counting: A Study in Finite Models - Lecture Notes in Logic - Otto, Martin (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany) - Books - Cambridge University Press - 9781107167940 - March 2, 2017
In case cover and title do not match, the title is correct

Otto, Martin (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany)
Bounded Variable Logics and Counting: A Study in Finite Models - Lecture Notes in Logic

Price
$ 163.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 24 - Aug 5
Get notified about new Otto, Martin (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany) releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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  

More from the same publisher

See all of Otto, Martin (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany) ( e.g. Hardcover Book )