The Semantics and Proof Theory of the Logic of Bunched Implications 著者: David J. Pym 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: The Semantics and Proof Theory of the Logic of Bunched Implications : 9789401700917, 9401700915 および 印刷版のISBNは 9781402007453, 1402007450. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。
The Semantics and Proof Theory of the Logic of Bunched Implications 著者: David J. Pym 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: The Semantics and Proof Theory of the Logic of Bunched Implications : 9789401700917, 9401700915 および 印刷版のISBNは 9781402007453, 1402007450. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。
