Sheaves, Games, and Model Completions
- A Categorical Approach to Nonclassical Propositional Logics
indgår i Trends in Logic serien
- Indbinding:
- Hardback
- Sideantal:
- 245
- Udgivet:
- 1. juli 2002
- Udgave:
- 2002
- Størrelse:
- 235x155x15 mm.
- Vægt:
- 543 g.
- 8-11 hverdage.
- 20. marts 2025
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
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
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.
Find lignende bøger
Bogen Sheaves, Games, and Model Completions findes i følgende kategorier: