Proof Theory for Fuzzy Logics
Material type:
Computer fileLanguage: English Publication details: Dordrecht Springer Netherlands 2009. ISBN: 9781402094095, 978-1-4020-9409-5Subject(s): Logic, Symbolic and mathematical | Order, Lattices, Ordered Algebraic Structures | Algebra | Artificial intelligence | Artificial Intelligence (incl. Robotics) | Logic | Logic | 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 | E941 |
Browsing NISER LIBRARY shelves Close shelf browser (Hides shelf browser)
| 511.3, 23 Analysis and Synthesis of Logics | 511.3, 23 Logicism, Intuitionism, and Formalism | 511.3, 23 Towards Mathematical Philosophy | 511.3, 23 Proof Theory for Fuzzy Logics | 511.3, 23 A Course in Mathematical Logic for Mathematicians | 511.3, 23 A Concise Introduction to Mathematical Logic | 511.3, 23 Proofs and Fundamentals |
Mathematics and Statistics (Springer-11649)
There are no comments on this title.