LEADER 00892nam0-22003371i-450- 001 990000981050403321 005 20071129141959.0 010 $a0-471-19897-8 035 $a000098105 035 $aFED01000098105 035 $a(Aleph)000098105FED01 035 $a000098105 100 $a20001205d1977----km-y0itay50------ba 101 0 $aeng 200 1 $aApplied nonstandard analysis$fMartin Davis 210 $aNew York$cJohn Wiley$d1977 215 $axii, 181 p.$d24 cm 225 1 $aPure and applied mathematics 610 0 $aLogica 610 0 $aRicorsività 676 $a160 700 1$aDavis,$bMartin$f<1928- >$051851 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000981050403321 952 $a7-205$b10781$fFI1 952 $a14-H-21$b18729$fMA1 959 $aFI1 959 $aMA1 996 $aApplied nonstandard analysis$9353380 997 $aUNINA