MPG.eBooks - Author Search Results

Cover Image

1

The Semantics and Proof Theory of the Logic of Bunched Implications

by Pym, David J.
Published 2002

Springer Netherlands

2

Reductive logic and proof-search : proof theory, semantics, and control

by Pym, David J.
Published 2004

Clarendon