LEADER 01594nam  2200409   450 
001 000011165
005 20050718115400.0
010   $a3-540-50035-9
100   $a20020716d1989----km-y0itay0103----ba
101 0 $aeng
102   $aDE
200 1 $aComputability in analysis and phisics$fMarian B. Pour-El, J. Ian Richard
210   $aBerlino [etc.]$cSpringer$dc1989
215   $aX, 206 p.$cill.25 cm.
225 1 $aPerspectives in Mathematical Logic
606   $aAnalisi matematica
676   $a515$v(20. ed.)$9Analisi
691   $a03D80$9Mathematical logic and founfations. Applications in computability and recursion theory
691   $a03F60$9Mathematical logic and founfations. Proof theory and constructive mathematics. Constructive and recursive analysis
691   $a46Nxx$9Functional analysis. Miscellaneous applications of functional analysis
700  1$aPour-El,$bMarian Boykan$052750
701  1$aRichards,$bJohnatan Ian$0440734
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000011165
996   $aComputability in analysis and phisics$979096
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aMONOGR
BAS   $aSCIENZE
CAT   $aEXT002$b01$c20020716$lBAS01$h1132
CAT   $c20050601$lBAS01$h1754
CAT   $abatch$b01$c20050718$lBAS01$h1051
CAT   $c20050718$lBAS01$h1110
CAT   $c20050718$lBAS01$h1140
CAT   $c20050718$lBAS01$h1154
FMT   
Z30 -1$lBAS01$LBAS01$mBOOK$1BASA5$ADipartimento Matematica$2GEN$BCollezione generale$3MAT$664992$5M64992$820020716$f51$FRiservati