01018nam0-2200337-i-450-99000910560040332120100629124322.0000910560FED01000910560(Aleph)000910560FED0100091056020091019d1984----km-y0itay50------baitaITa---a---001yyCoerenza e completezza delle teorie elementarila metateoria dei sistemi formali nella scuola HilbertianaMauro Mariani, Enrico MoriconiPisaETS[1984]269 p.24 cmBiblioteca di Teoria3Filosofia della matematica51021itaMariani,Mauro70613Moriconi,Enrico<1950- >59864ITUNINARICAUNIMARCBK990009105600403321CPDM-00-032270MA1MA100A30Coerenza e completezza delle teorie elementari782344UNINA