Dual Tableaux: Foundations, Methodology, Case Studies
Material type:
Computer fileLanguage: English Publication details: Dordrecht Springer Netherlands, Imprint: Springer, 2011. ISBN: 9789400700055, 978-94-007-0005-5Subject(s): Logic, Symbolic and mathematical | Computer science | Logic | Logic | Mathematical Logic and Formal Languages | 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 | E2655 |
Browsing NISER LIBRARY shelves Close shelf browser (Hides shelf browser)
| 511.3, 23 Logica: Metodo Breve | 511.3, 23 Logic: A Brief Course | 511.3, 23 Non solo calcoli | 511.3, 23 Dual Tableaux: Foundations, Methodology, Case Studies | 511.3, 23 Methods of Cut-Elimination | 511.3, 23 Advanced Lukasiewicz calculus and MV-algebras | 511.3 APO-I Introduction to analytic number theory |
Mathematics and Statistics (Springer-11649)
There are no comments on this title.