Proof Theory
Material type:
Computer fileLanguage: English Publication details: Berlin, Heidelberg Springer Berlin Heidelberg 2009. ISBN: 9783540693192, 978-3-540-69319-2Subject(s): Logic, Symbolic and mathematical | Mathematical Logic and Foundations | Mathematics | MathematicsDDC classification: 511.3, Online resources: Click here to access online
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
E(electronic)-Books
|
NISER LIBRARY | 511.3, 23 (Browse shelf(Opens below)) | Available | E1758 |
Browsing NISER LIBRARY shelves Close shelf browser (Hides shelf browser)
| 511.3, 23 Theorie des ensembles | 511.3, 23 Function Algebras on Finite Sets | 511.3, 23 Kolmogorov's Heritage in Mathematics | 511.3, 23 Proof Theory | 511.3, 23 Ernst Zermelo - Collected Works/Gesammelte Werke | 511.3, 23 Teoria algebrica dei meccanismi automatici | 511.3, 23 Recursion Theory and Computational Complexity |
Mathematics and Statistics (Springer-11649)
There are no comments on this title.