Publication:5039121
From MaRDI portal
Luciano H. Tamargo, Guido Governatori, Antonino Rotolo, Diego C. Martinez
Publication date: 12 October 2022
03-XX: Mathematical logic and foundations
Luciano H. Tamargo, Guido Governatori, Antonino Rotolo, Diego C. Martinez
Publication date: 12 October 2022
03-XX: Mathematical logic and foundations