Udvidet returret til d. 31. januar 2025

Bounded Variable Logics and Counting - Martin (Rheinisch-Westfalische Technische Hochschule Otto - Bog

- A Study in Finite Models

Bag om Bounded Variable Logics and Counting

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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781107167940
  • Indbinding:
  • Hardback
  • Sideantal:
  • 193
  • Udgivet:
  • 2. marts 2017
  • Størrelse:
  • 158x235x18 mm.
  • Vægt:
  • 400 g.
  • 8-11 hverdage.
  • 11. december 2024
På lager
Forlænget returret til d. 31. januar 2025

Normalpris

  • BLACK WEEK

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Bounded Variable Logics and Counting

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.

Brugerbedømmelser af Bounded Variable Logics and Counting



Find lignende bøger
Bogen Bounded Variable Logics and Counting findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.