Buchportal für Bücher die eine ISBN tragen.

Reihe Applied Logic Series

David J. Pym ×Bücher ×

Buchcover The Semantics and Proof Theory of the Logic of Bunched Implications

The Semantics and Proof Theory of the Logic of Bunched Implications

Springer Netherland

Buchcover The Semantics and Proof Theory of the Logic of Bunched Implications

The Semantics and Proof Theory of the Logic of Bunched Implications

Springer Netherland