作者的書籍：David J. Pym - BookPine

The Semantics and Proof Theory of the Logic of Bunched Implications

The Semantics and Proof Theory of the Logic of Bunched Implications

David J. Pym

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.

David J. Pym

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

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

David J. Pym

A Discipline of Mathematical Systems Modelling (Studies in Systems Thinking and Systems Engineering)

A Discipline of Mathematical Systems Modelling (Studies in Systems Thinking and Systems Engineering)

Matthew Collinson

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control (Oxford Logic Guides)

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control (Oxford Logic Guides)

David J. Pym

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control (Oxford Logic Guides)

Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control (Oxford Logic Guides)

David J. Pym

Proofs, Search and Computation in General Logic

Proofs, Search and Computation in General Logic

David J. Pym

The Semantics and Proof Theory of the Logic of Bunched Implications

The Semantics and Proof Theory of the Logic of Bunched Implications

David J. Pym