SEMANTICS AND PROOF THEORY OF THE LOGIC OF BUNCHED IMPLICATIONS by PYM, DAVID J. (DEPARTMENT OF LOGIC AND COMPUTATION, UNIVERSI ISBN 1402007450

From Student Book World

Contents 1 SEMANTICS AND PROOF THEORY OF THE LOGIC OF BUNCHED IMPLICATIONS 1.1 Book Details 1.1.1 Title 1.1.2 Author 1.1.3 ISBN 1.1.4 Published 1.1.5 Publisher 1.1.6 Binding 1.1.7 Retail Price 1.1.8 Typical Price Online 2 Buy Book Online

[edit] SEMANTICS AND PROOF THEORY OF THE LOGIC OF BUNCHED IMPLICATIONS

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.

[edit] Book Details

[edit] Title

SEMANTICS AND PROOF THEORY OF THE LOGIC OF BUNCHED IMPLICATIONS

[edit] Author

PYM, DAVID J. (DEPARTMENT OF LOGIC AND COMPUTATION, UNIVERSI

[edit] ISBN

1402007450

[edit] Published

31/07/2002

[edit] Publisher

KLUWER ACADEMIC PUBLISHERS GROUP

[edit] Binding

hardback

[edit] Retail Price

102.5 (GBP)

[edit] Typical Price Online

97.37 (GBP)

[edit] Buy Book Online

If you wish to purchase SEMANTICS AND PROOF THEORY OF THE LOGIC OF BUNCHED IMPLICATIONS, written by PYM, DAVID J. (DEPARTMENT OF LOGIC AND COMPUTATION, UNIVERSI and published by KLUWER ACADEMIC PUBLISHERS GROUP on 31/07/2002 then we have listed a few select online book retailers who can provide good value and service.

	ISBN 1402007450 BUY NOW

This section is supported by pay as you go sim card providers; IDT Mobile, Nomi Mobile , Lebara Mobile and Planet Talk Instant Dial Service.