david j. pym author - Books - 24x7 online bookstore Bookswagon.ae
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
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
AED692
Binding:
Paperback
Release:
04 Dec 2010
Language:
English
International Edition
Ships within 14-16 Days Explain..
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: Springer-Verlag New York Inc.
No Review Yet
AED693
Binding:
Hardback
Release:
31 Jul 2002
Language:
English
International Edition
Ships within 14-16 Days Explain..
3.
Reductive Logic and Proof-search
Reductive Logic and Proof-search
By: David J. Pym, Eike Ritter
Publisher: Oxford University Press
No Review Yet
AED771
Binding:
Hardback
Release:
29 Apr 2004
Language:
English
International Edition
Ships within 14-16 Days Explain..
4.
A Discipline of Mathematical Systems Modelling
A Discipline of Mathematical Systems Modelling
By: David J. Pym, Matthew Collinson, Brian Monahan
Publisher: College Publications
No Review Yet
AED166
Binding:
Paperback
Release:
01 Mar 2012
International Edition
Ships within 18-20 Days Explain..
5.
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
AED56
Binding:
Paperback
Release:
15 Jan 2014
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
AED733
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
AED45
Binding:
Digital (delivered electronically)
Release:
/12/2004
Out of Stock
Notify me when this book is in stockNotify Me
8.
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: Lecturer in Computer Science Eike Ritter (University of Birmingham), Professor of Logic & Computation David J Pym (University of Bath)
Publisher: Oxford University Press, USA
No Review Yet
AED876
Binding:
Digital (delivered electronically)
Release:
01 Jan 2004
Out of Stock
Notify me when this book is in stockNotify Me
No more records found