Proof theory: sequent calculi and related formalisms
Material type:
TextPublication details: Boca Raton CRC Press 2015Description: 376pSubject(s): DDC classification: - 517.3 BIM
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
Department of Statistics | 517.3 BIM (Browse shelf(Opens below)) | Available | STA3156 |
Browsing Department of Statistics shelves Close shelf browser (Hides shelf browser)
|
|
No cover image available | No cover image available |
|
|
|
||
| 517.2(035) SEB A matrix handbook for statisticians | 517.2(035) SEB;1 A matrix handbook for statisticians | 517.3 AYR Theory and problems of differential and integral calculus | 517.3 BIM Proof theory: sequent calculi and related formalisms | 517.3 EDW Advanced calculus: a differential forms approach | 517.3 FOL Advanced calculus | 517.3 GOL Calculus and its applications/13th ed. |
There are no comments on this title.