The Semantics and Proof Theory of the Logic of Bunched Implications
indgår i Applied Logic Series serien
- Indbinding:
- Paperback
- Sideantal:
- 340
- Udgivet:
- 4. december 2010
- Størrelse:
- 155x19x235 mm.
- Vægt:
- 517 g.
- 8-11 hverdage.
- 2. december 2024
På lager
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.
Brugerbedømmelser af The Semantics and Proof Theory of the Logic of Bunched Implications
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen The Semantics and Proof Theory of the Logic of Bunched Implications findes i følgende kategorier:
- Business og læring > Computer og IT
- Krop og sind
- Matematik og naturvidenskab > Matematik > Matematikkens fundament > Matematisk logik
- Filosofi og religion > Filosofi > Emner i filosofi > Filosofi: logik
- Databehandling og informationsteknologi > Programmering / softwareudvikling > Kompilatorer og fortolkere