Buy books written by David J Pym Available at Bookswagon
Logo1
Login & Sign up
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
humburger icon Categories
Close

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
David J Pym

David J Pym

8 results found
List viewGrid view
Sort By:
1.
The Semantics and Proof Theory of the Logic of Bunched Implications
The Semantics and Proof Theory of the Logic of Bunched Implications
By: David J. Pym
Publisher: Springer
No Review Yet
AED693
Binding:
Paperback
Release:
04 Dec 2010
Language:
English
Available
Ships within 14-16 Days Explain..
Free Shipping in UAE.
2.
The Semantics and Proof Theory of the Logic of Bunched Implications
The Semantics and Proof Theory of the Logic of Bunched Implications
By: David J. Pym
Publisher: Kluwer Academic Publishers
No Review Yet
AED693
Binding:
Hardback
Release:
31 Jul 2002
Language:
English
Available
Ships within 14-16 Days Explain..
Free Shipping in UAE.
3.
Reductive Logic and Proof-search
Reductive Logic and Proof-search
By: David J. Pym, Eike Ritter
Publisher: Oxford University Press
No Review Yet
AED435
Binding:
Hardback
Release:
29 Apr 2004
Language:
English
Available
Ships within 10-12 Days Explain..
Free Shipping in UAE.
4.
A Discipline of Mathematical Systems Modelling
A Discipline of Mathematical Systems Modelling
By: Matthew Collinson, David J. Pym, Brian Monahan
Publisher: College Publications
No Review Yet
AED183
Binding:
Paperback
Release:
01 Mar 2012
International Edition
Ships within 14-16 Days Explain..
Free Shipping in UAE.
5.
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford Logic Guides, Volume 45.
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford Logic Guides, Volume 45.
By: Professor of Logic & Computation David J Pym (University of Bath), Lecturer in Computer Science Eike Ritter (University of Birmingham)
Publisher: Oxford University Press, USA
No Review Yet
AED801
Binding:
Digital (delivered electronically)
Release:
01 Jan 2004
Out of Stock
Notify me when this book is in stockNotify Me
6.
Reductive Logic and Proof-Search
Reductive Logic and Proof-Search
By: Eike Ritter, David J Pym
Publisher: Oxford University Press, USA
No Review Yet
AED670
Binding:
Digital online
Release:
01 Sep 2007
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
7.
Reductive Logic and Proof-Search
Reductive Logic and Proof-Search
By: Eike Ritter, David J Pym
Publisher: Oxford University Press
No Review Yet
AED41
Binding:
Digital (delivered electronically)
Release:
/12/2004
Out of Stock
Notify me when this book is in stockNotify Me
8.
The Semantics and Proof Theory of the Logic of Bunched Implications
The Semantics and Proof Theory of the Logic of Bunched Implications
By: David J Pym
Publisher: Springer
No Review Yet
AED51
Binding:
Paperback
Release:
15 Jan 2014
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
Your IP: 216.73.216.54 216.73.216.54