LEADER 01133nam0 22002771i 450 
001 UON00381211
005 20231205104528.635
010   $a88-15-01256-7
100   $a20100510d1987       |0itac50      ba
101   $aita
102   $aIT
105   $a||||    |||||
200 1 $aˆLa ‰macchina e dimostrazioni$ematematica, logica e informatica$fGabriele Lolli - Bologna$eIl Mulino, 1987 - 155 p. ; 22 cm.
410  1$1001UON00480658$12001 $aSaggi$1210  $aBologna$cIl Mulino$v311
606   $aLOGICA MATEMATICA$3UONC040767$2FI
606   $aCALCOLO$3UONC075599$2FI
620   $aIT$dBologna$3UONL000085
676   $a511.3$cPrincipi generali. Logica matematica(Logica simbolica)$v20
700  1$aLOLLI$bGabriele$3UONV148885$048877
712   $aIl Mulino$3UONV245824$4650
801   $aIT$bSOL$c20240220$gRICA
899   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI
912   $aUON00381211
950   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI FS        03987                                                   $eSI FP 2633     5                            
996   $aMacchina e dimostrazioni$91357014
997   $aUNIOR