Games
Apps
Movies & TV
Books
Kids
google_logo Play
Games
Apps
Movies & TV
Books
Kids
Gift Cards
none
search
help_outline
Sign in with Google
play_apps
Library & devices
payment
Payments & subscriptions
reviews
My Play activity
redeem
Offers
redeem
Gift cards
Play Pass
storefront
Third-party app stores
Personalization in Play
settings
Settings
Privacy Policy
•
Terms of Service
Games
Apps
Movies & TV
Books
Kids
David J. Pym
David J. Pym hold a Royal Society Industry Fellowship at Hewlett-Packard Laboratories, Bristol and the University of Bath.
Ebooks
The Semantics and Proof Theory of the Logic of Bunched Implications
$55.65
$48.42
Reductive Logic and Proof-search: Proof Theory, Semantics, and Control
Book 45
$177.99
$142.39
