Udvidet returret til d. 31. januar 2025

Sheaves, Games, and Model Completions

- A Categorical Approach to Nonclassical Propositional Logics

Bag om Sheaves, Games, and Model Completions

This book is an example of fruitful interaction between (non-classical) propo sitionallogics and (classical) model theory which was made possible due to categorical logic.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781402006609
  • Indbinding:
  • Hardback
  • Sideantal:
  • 245
  • Udgivet:
  • 1. juli 2002
  • Udgave:
  • 2002
  • Størrelse:
  • 235x155x15 mm.
  • Vægt:
  • 543 g.
  • BLACK NOVEMBER
  Gratis fragt
Leveringstid: 8-11 hverdage
Forventet levering: 6. december 2024

Beskrivelse af Sheaves, Games, and Model Completions

This book is an example of fruitful interaction between (non-classical) propo sitionallogics and (classical) model theory which was made possible due to categorical logic.

Brugerbedømmelser af Sheaves, Games, and Model Completions



Find lignende bøger
Bogen Sheaves, Games, and Model Completions 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.