It looks like you're offline.
Open Library logo
additional options menu
Last edited anonymously
April 29, 2008 | History

David J. Pym

We need a photo of David J. Pym

7 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Reductive Logic and Proof-search: Proof Theory, Semantics, and Control (Oxford Logic Guides, 45)

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Economics of information security and privacy

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: The Semantics and Proof Theory of the Logic of Bunched Implications

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Errata and remarks
    First published in 1993 1 edition

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Proofs, Search and Computation in General Logic

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: The semantics and proof theory of the logic of bunched implications

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today

History

Download catalog record: RDF / JSON
April 29, 2008 Created by an anonymous user initial import