LEADER 01609nam0 2200337 i 450 001 VAN0022181 005 20240223092909.845 010 $a35-405-0035-9 010 $a978-03-87500-35-5 100 $a20040826d1989 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aComputability in analysis and physics$fMarian B. Pour-El, J. Ian Richards 210 $aBerlin$cSpringer-Verlag$d1989 215 $aX, 206 p.$cill.$d25 cm 410 1$1001VAN0050817$12001 $aPerspectives in mathematical logic$1210 $aBerlin$cSpringer 606 $a03D80$xApplications of computability and recursion theory [MSC 2020]$3VANC024450$2MF 606 $a03F60$xConstructive and recursive analysis [MSC 2020]$3VANC024451$2MF 620 $dBerlin$3VANL000066 700 1$aPour-El$bMarian B.$3VANV018435$052750 701 1$aRichards$bJonathan I.$3VANV018436$0729144 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 899 $aBIBLIOTECA DEL DIPARTIMENTO DI ARCHITETTURA E DISEGNO INDUSTRIALE$1IT-CE0107$2VAN01 912 $aVAN0022181 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 3425 $e08 4818 I 20060926 950 $aBIBLIOTECA DEL DIPARTIMENTO DI ARCHITETTURA E DISEGNO INDUSTRIALE$d01PREST IIIAa236 $e01 2455 20051003 996 $aComputability in analysis and physics$91432574 997 $aUNICAMPANIA