Search results for ‘Martin Otto (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany)’

Filter & Refine

      Cover image for Bounded Variable Logics and Counting: A Study in Finite Models
      Hardback
      Add to list Added to list

      Bounded Variable Logics and Counting: A Study in Finite Models

      Martin Otto (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…

      $214.99

      Available to order, ships in approx 2 weeksAvailable to order