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

Reihe Applied Logic Series

David J. Pym ×eBooks ×

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