Title:
Proof theory : sequent calculi and related formalisms
Author:
Bimbo, Katalin, 1963- author.
ISBN:
9781466564688
Physical Description:
1 online resource : text file, PDF
Series:
Discrete mathematics and its applications
Discrete mathematics and its applications.
Subject Term:
Holds:
Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 356904-1001 | ONLINE(356904.1) | Searching... | Searching... |