Bol 178,- 178,- Bekijk 
Amazon.nl Bekijk prijs This is a monograph about logic. Specifically, it presents the mathe matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, model theory and computation theory. However, the mono graph is also about informatics in a sense which I explain. Specifically, it is about mathematical models of resources and logics for reasoning about resources. I begin with an introduction which presents my (background) view of logic fr...
De The Semantics and Proof Theory of the Logic of Bunched Implications is een populaire optie voor Programmeertalen. Esy heeft 1 prijs gevonden, de goedkoopste keuze is volgens ons Bol, maar bekijk de andere aanbieders om het zeker te weten. Links openen in een nieuwe tabblad. Bekijk hier onder de product specificaties. Meer product informatie beschikbaar bij Bol.
The Semantics and Proof Theory of the Logic of Bunched Implications is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.
