Martin (Rheinisch-Westfalische Technische Hochschule Otto Forfatter

Visning: Type : Alle | Sprog : Alle | Format : Alle

• 

  PRIS

  1.411,- kr

  FRAGTFRI LEVERING

  Levering: Print on Demand (forvent 14 - 30 hverdage)

  Bemærk: Kan ikke leveres før jul.

  Bounded Variable Logics and Counting: A Study in Finite Models (Bog, Hardback, Engelsk)

  Af: Martin (Rheinisch-Westfalische Technische Hochschule Otto

  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.

  PRIS

  1.411,- kr

  FRAGTFRI LEVERING

  Levering: Print on Demand (forvent 14 - 30 hverdage)

  Læg i kurv