01300nam 2200385 450 00001119120050718115400.088-15-01256-720020717d1987----km-y0itay0103----baitaIT<<La>> Macchina e le dimostrazionimatematica, logica e informaticaGabriele LolliBologna<<Il>> Mulinoc1987151 p.21 cm.Saggi311Logica matematicaLogica matematica e informatica511.3(20. ed.)Logica matematica (Logica simbolica)03-XXMathematical logic and foundationsLolli,Gabriele48877ITUniversità della Basilicata - B.I.A.RICAunimarc000011191Macchina e le dimostrazioni79088UNIBASMONSCIMONOGRSCIENZEEXT0020120020717BAS01171520050601BAS011754batch0120050718BAS01105120050718BAS01111020050718BAS01114020050718BAS011154BAS01BAS01BOOKBASA5Dipartimento MatematicaGENCollezione generaleMAT2844M28442002071751Riservati