Bounded Variable Logics and Counting: A Study in Finite Models (Bog, Hardback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Bounded Variable Logics and Counting: A Study in Finite Models

Bounded Variable Logics and Counting: A Study in Finite Models

(Bog, Hardback, Engelsk)
Forfatter: Martin (Rheinisch-Westfalische Technische Hochschule Otto
Bounded Variable Logics and Counting: A Study in Finite Models
Forlag: Cambridge University Press

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

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfatter Martin (Rheinisch-Westfalische Technische Hochschule Otto
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 02-03-2017
Første udgivelsesår 2017
Serie Lecture Notes in Logic
Illustrationer 8 Line drawings, black and white
Originalsprog United Kingdom
Sideantal 194
Indbinding Hardback
Forlag Cambridge University Press
Sideoplysninger 194 pages, 8 Line drawings, black and white
Mål 235 x 158 x 18
ISBN-13 / EAN-13 9781107167940