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

Bounded Variable Logics and Counting: A Study in Finite Models - Lecture Notes in Logic

Otto, Martin (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany)

Price
$ 146.99

Ordered from remote warehouse

Expected delivery Feb 5 - 18

Our customers say:

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

Bounded Variable Logics and Counting: A Study in Finite Models - Lecture Notes in Logic

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 193
Dimensions 158 × 235 × 18 mm   ·   400 g

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