Lecture Notes in Logic: Bounded Variable Logics and Counting: A Study in Finite Models Series Number 9 (Hardback)
  • Lecture Notes in Logic: Bounded Variable Logics and Counting: A Study in Finite Models Series Number 9 (Hardback)
zoom

Lecture Notes in Logic: Bounded Variable Logics and Counting: A Study in Finite Models Series Number 9 (Hardback)

(author)
£95.00
Hardback 193 Pages / Published: 02/03/2017
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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
ISBN: 9781107167940
Number of pages: 193
Weight: 400 g
Dimensions: 235 x 158 x 18 mm

You may also be interested in...

Introducing Infinity
Added to basket
Equation That Couldn't be Solved
Added to basket
Logic
Added to basket
£10.99
Paperback
Great at My Job but Crap at Numbers
Added to basket
Numbers and Proofs
Added to basket
£46.99
Paperback
Logic and Discrete Mathematics
Added to basket
Logic For Dummies
Added to basket
£13.99
Paperback
Measurements and their Uncertainties
Added to basket
John Napier
Added to basket
Sets, Logic and Categories
Added to basket
Foundation Mathematics for Biosciences
Added to basket
John Napier
Added to basket
£30.00
Hardback

Reviews

Please sign in to write a review

Your review has been submitted successfully.