RelBib: Il metodo "deductio naturalis" nei sistemi della logica moderna https://relbib.de/Record/1643454137