Cover von The semantics and proof theory of the logic of bunched implications opens in new tab

The semantics and proof theory of the logic of bunched implications

Author: Search for this author Pym, David J.
Statement of Responsibility: David J. Pym
Year: 2002
Publisher: Dordrecht, Kluwer
Series: Applied logic series; 26
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: PYM DAVID J Location 2: 2nd FLOOR Location 3: Status: reference collection

Details

Author: Search for this author Pym, David J.
Statement of Responsibility: David J. Pym
Year: 2002
Publisher: Dordrecht, Kluwer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 1-4020-0745-0
Description: XLIX, 287 S.
Series: Applied logic series; 26
Search for this character
Media group: MONOGRAPHIE