00910nam0 22002651i 450 RML026560020231121125722.020121121d1980 ||||0itac50 baitaitz01i xxxe z01nTeoria dei modelliChen Chung Chang, Jerome KeislerTorino Boringhieri 1980538 p.ill.23 cmChang, Chen ChungRMLV17056445694Keisler, Jerome H.RMLV170563613431ITIT-0120121121IT-FR0099 Biblioteca Area IngegneristicaFR0099 RML0265600Biblioteca Area Ingegneristica 54INGFA 510.1 CHA 54VM 0000359555 VM barcode:BAIN001198. - Inventario:296VMA 2003102020121204 54Model theory1400311UNICAS