Lecture Notes in Logic: Bounded Variable Logics and Counting: A Study in Finite Models Series Number 9 (Hardback)Martin Otto (author)
Hardback 193 Pages / Published: 02/03/2017
- We can order this
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the ninth publication in the Lecture Notes in Logic series, Martin Otto gives an introduction to finite model theory that indicates the main ideas and lines of inquiry that motivate research in this area. Particular attention is paid to bounded variable infinitary logics, with and without counting quantifiers, related fixed-point logics, and the corresponding fragments of Ptime. The relations with Ptime exhibit the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.
Publisher: Cambridge University Press
Number of pages: 193
Weight: 400 g
Dimensions: 235 x 158 x 18 mm
You may also be interested in...
£9.99Mixed media product
Thank you for your reservation
Your order is now being processed and we have sent a confirmation email to you at
When will my order be ready to collect?
Call us on or send us an email at
Unfortunately there has been a problem with your order
Please try again or alternatively you can contact your chosen shop on or send us an email at