LEADER 01194nam0-22004331i-450-
001 990001357980403321
005 20100107165808.0
010   $a3-540-57073-X
035   $a000135798
035   $aFED01000135798
035   $a(Aleph)000135798FED01
035   $a000135798
100   $a20001205d1997----km-y0itay50------ba
101 0 $aeng
200 1 $a<<The >>classical decision problem$fEgon Boerger, Erich Gradel, Yuri Gurevich
210   $aBerlin ; New York$cSpringer-Verlag$d1997
215   $axii, 482 p.$d24 cm
225 1 $aPerspectives in mathematical logic
610 0 $aRicorsività
610 0 $aLogica matematica
610 0 $aLogica pura del primo ordine
610 0 $aTeoria dei modelli
676   $a511.3
676   $a510.78
700  1$aBoerger,$bEgon$061308
701  1$aGradel,$bErich$060991
701  1$aGurevich,$bYuri$060992
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001357980403321
952   $a7-292$b5392$fFI1
952   $aC-48-(22$b14994$fMA1
959   $aFI1
959   $aMA1
962   $a03-02
962   $a03B10
962   $a03B25
996   $aClassical decision problem$9375169
997   $aUNINA