01281nam0 2200289 i 450 VAN005205620240205083917.92388-7741-004-20060912d1976 |0itac50 baitaIT|||| |||||Teoria della computabilità, logica, teoria dei linguaggi formaliMario Aiello, ... [et al.]PisaETS1976VIII, 323 p.24 cm03-XXMathematical logic and foundations [MSC 2020]VANC019750MF68QxxTheory of computing [MSC 2020]VANC019949MFPisaVANL000008AielloMarioVANV040956ETS <editore>VANV107887650ITSOL20240209RICA/sebina/repository/catalogazione/documenti/Aiello, Albano et al. - Teoria della computabilità, logica, teoria dei linguaggi formali.PDFContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0052056BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0078 08 7469 I 20060912 Teoria della computabilità, logica, teoria dei linguaggi formali973479UNICAMPANIA