Del 36Proof Theory for Fuzzy LogicsGeorge Metcalfe, Nicola Olivetti, Dov M. GabbayHäftad, 20101 309 kr
Mathesis Universalis, Computability and ProofStefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. SchusterInbunden, 20191 329 kr
Del 12842Automated Reasoning with Analytic Tableaux and Related MethodsAnupam Das, Sara NegriHäftad, 2021574 kr