David J. Pym

David J. Pym

4 ספרים במאגר

ספרים

The Semantics and Proof Theory of the Logic of Bunched ImplicationsDavid J. Pym

The Semantics and Proof Theory of the Logic of Bunched Implications

David J. Pym · 2002

Reductive logic and proof-searchDavid J. Pym

Reductive logic and proof-search

David J. Pym · 2004

The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)David J. Pym

The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)

David J. Pym · 2002

Proofs, Search and Computation in General LogicDavid J. Pym

Proofs, Search and Computation in General Logic

ספרים משותפים ואוספים

ספרים שבהם David J. Pym מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Economics of information security and privacyTyler Moore

Economics of information security and privacy

Tyler Moore · 2010