01133nam0 22002771i 450 UON0038121120231205104528.63588-15-01256-720100510d1987 |0itac50 baitaIT|||| |||||ˆLa ‰macchina e dimostrazionimatematica, logica e informaticaGabriele Lolli - BolognaIl Mulino, 1987 - 155 p. ; 22 cm.001UON004806582001 Saggi210 BolognaIl Mulino311LOGICA MATEMATICAUONC040767FICALCOLOUONC075599FIITBolognaUONL000085511.3Principi generali. Logica matematica(Logica simbolica)20LOLLIGabrieleUONV14888548877Il MulinoUONV245824650ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00381211SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI FS 03987 SI FP 2633 5 Macchina e dimostrazioni1357014UNIOR