01194nam0-22004331i-450-99000135798040332120100107165808.03-540-57073-X000135798FED01000135798(Aleph)000135798FED0100013579820001205d1997----km-y0itay50------baeng<<The >>classical decision problemEgon Boerger, Erich Gradel, Yuri GurevichBerlin ; New YorkSpringer-Verlag1997xii, 482 p.24 cmPerspectives in mathematical logicRicorsivitàLogica matematicaLogica pura del primo ordineTeoria dei modelli511.3510.78Boerger,Egon61308Gradel,Erich60991Gurevich,Yuri60992ITUNINARICAUNIMARCBK9900013579804033217-2925392FI1C-48-(2214994MA1FI1MA103-0203B1003B25Classical decision problem375169UNINA