Online Public Access Catalogue (OPAC)Library,Documentation and Information Science Division
“A research journal serves that narrow
borderland which separates the known from the unknown”
-P.C.Mahalanobis
511.3 Metcalfe, George. Proof Theory for Fuzzy Logics by George Metcalfe, Nicola Olivetti, Dov Gabbay. - VIII, 276 p. online resource. - (Applied Logic Series, 36) Content notes : The Semantic Basis -- Hilbert Systems -- Gentzen Systems -- Syntactic Eliminations -- Fundamental Logics -- Uniformity and Efficiency -- First-Order Logics -- Further Topics. 9781402094095 * Logic, Symbolic and mathematical. Mathematics. Algebra. Artificial intelligence. Logic. Mathematical Logic and Foundations. Mathematics, general. Algebra. Artificial Intelligence (incl. Robotics). Logic. Order, Lattices, Ordered Algebraic Structures. * Olivetti, Nicola., aut, http://id.loc.gov/vocabulary/relators/autGabbay, Dov., aut, http://id.loc.gov/vocabulary/relators/aut * Title * Series
