The Semantics and Proof Theory of the Logic of Bunched Implications - Applied Logic Series - David J. Pym - Books - Kluwer Academic Publishers - 9781402007453 - July 31, 2002
In case cover and title do not match, the title is correct

David J. Pym
The Semantics and Proof Theory of the Logic of Bunched Implications - Applied Logic Series 2002 edition

Price
$ 157.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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.

290 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released July 31, 2002
ISBN13 9781402007453
Publishers Kluwer Academic Publishers
Pages 290
Dimensions 155 × 235 × 20 mm   ·   666 g
Language English  

Mere med samme udgiver

See all of David J. Pym ( e.g. Hardcover Book and Paperback Book )