This is the product description text that will appear here.
Quantity
1
Applied Logic Series Pym, David J. 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, th...