Mathesis Universalis, Computability and ProofStefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. SchusterHäftad, 20201 329 kr
Del 12842Automated Reasoning with Analytic Tableaux and Related MethodsAnupam Das, Sara NegriHäftad, 2021574 kr