Yazar
Sara Negri
5 cilt bulundu.
Cilt sonuçları
Mathesis Universalis, Computability and Proof
Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster · Springer International Publishing AG
374 sayfa · 2019
Proof theory / Congresses / Logic / Symbolic and mathematical Logic