Mathesis Universalis, Computability and Proof - Centrone, Stefania 1975-; Negri, Sara; Sarikaya, Deniz; Schuster, Peter M. (Springer International Publishing, 2019)
Keywords: Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages; Mathematical logic; Mathesis universalis; Mathematische Logik; Konferenzschrift -- Villa Vigoni -- 24.07.2017-28.07.2017 -- Loveno di Menaggio