| Author | David J. Pym |
| Format | Hardcover |
| ISBN | 9781402007453 |
| Publisher | Kluwer Academic Publishers |
| Manufacturer | Kluwer Academic Publishers |
Provides an account of the model theory, proof theory and computational interpretations of BI, the logic of bunched implications, which freely combines intuitionistic logic and multiplicative intuitionistic linear logic. This monograph is aimed at graduates and researchers in mathematical logic, philosophical logic, computational logic and others.
Loading similar products...
Stay informed about the best deals and price drops. Choose which notifications you'd like to receive from PriceCheck.