| search results |

displaying 6 results for author search for 'David Pym'

The Semantics and Proof Theory of the Logic of Bunched Implications

David J Pym
Paperback / softback, 346 pages
ISBN-13: 9789401700924
15 Jan 2014
Readership Age:
No price available
philosophy / logic

This book is currently unavailable. Enquire to check if we can source a used copy

| read more |

| enquire |

The Semantics and Proof Theory of the Logic of Bunched Implications

David J. Pym
Paperback / softback, 290 pages
ISBN-13: 9789048160723
4 Dec 2010
Readership Age:
mathematics / logic Price: R 5,571.95
| on special |
normal price: R 6,190.95

Available from overseas. Delivery time is 14 - 21 days

| read more |

| add to trolley |

Proofs, Search and Computation in General Logic

David J. Pym
Hardback
ISBN-13: 9780521450577
1 Jan 2009
Readership Age:
No price available
computers / programming languages / general

This book is currently unavailable. Enquire to check if we can source a used copy

| read more |

| enquire |

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control

David J Pym
Digital online
ISBN-13: 9780191712012
1 Sep 2007
Readership Age:
No price available
mathematics / logic

This book is currently unavailable. Enquire to check if we can source a used copy

| read more |

| enquire |

Reductive Logic and Proof-search: Proof Theory, Semantics, and Control

David J. Pym
Hardback, 232 pages
ISBN-13: 9780198526339
29 Apr 2004
Readership Age:
mathematics / logic Price: R 3,690.95
| on special |
normal price: R 4,100.95