6 results
Type of media (2)
Availability (2)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
6 results

Your search for David J. Pym

  1. This image is currently not available.
    David J. Pym
    Proofs, Search and Computation in General Logic
    Cambridge University Press
    9780521450577 (ISBN)
    Book
    Hardback
    Unfortunately, price unknown
    The article will not be published
  2. Cover: The Semantics and Proof Theory of the Logic of Bunched Implications - Springer
    David J. Pym
    The Semantics and Proof Theory of the Logic of Bunched Implications
    12/2010
    Springer
    9789048160723 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €160.49
    Shipment within 15-20 days
  3. Cover: A Discipline of Mathematical Systems Modelling - College Publications
    Matthew Collinson | Brian Monahan | David J. Pym
    A Discipline of Mathematical Systems Modelling
    03/2012
    College Publications
    9781904987505 (ISBN)
    Book
    Paperback/Softback
    €47.24
    Shipment within 10-20 days
  4. Cover: Reductive Logic and Proof-search - Oxford University Press
    David J. Pym | Eike Ritter
    Reductive Logic and Proof-search
    Proof Theory, Semantics, and Control
    04/2004
    Oxford University Press
    9780198526339 (ISBN)
    Book
    Hardback
    Other editions
    €220.50
    Shipment within 15-20 days
  5. Cover: The Semantics and Proof Theory of the Logic of Bunched Implications - Kluwer Academic Publishers
    David J. Pym
    The Semantics and Proof Theory of the Logic of Bunched Implications
    07/2002
    Kluwer Academic Publishers
    9781402007453 (ISBN)
    Book
    Hardback
    Other editions
    €160.49
    Shipment within 15-20 days
  6. This image is currently not available.
    David J. Pym | Eike Ritter
    Reductive Logic and Proof-Search
    Proof Theory, Semantics, and Control
    09/2007
    Oxford University Press, USA
    9780191712012 (ISBN)
    Software
    Other digital
    €184.16
    Article not available