Image from Amazon.com
Proof Theory and Institutions Systems / by Bruno Scarpellini
Material type:
TextLanguage: English Series: Lecture Notes on Mathematics 212Publication details: New York Springer-Verlag 1971 Description: vii,290pISBN: 038705541XDDC classification: 519.6
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
NBHM LIBRARY General Stacks | 519.6 SCA/P (Browse shelf(Opens below)) | Available | MAT/444 |
Browsing NBHM LIBRARY shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 519.6 HOU/T The Theory of Matrices in Numericals Analysis | 519.6 JAI/N Numerical methods Problem and Solutions | 519.6 MOH/O Optimization Techniques | 519.6 SCA/P Proof Theory and Institutions Systems | 519.7 FIA/M Mathematical Programming With Data Perturbations II | 519.7 GRA/M Math Into Latex | 519.7 GRA/M Math Into Latex |
There are no comments on this title.