01594nam 2200409 450 00001116520050718115400.03-540-50035-920020716d1989----km-y0itay0103----baengDEComputability in analysis and phisicsMarian B. Pour-El, J. Ian RichardBerlino [etc.]Springerc1989X, 206 p.ill.25 cm.Perspectives in Mathematical LogicAnalisi matematica515(20. ed.)Analisi03D80Mathematical logic and founfations. Applications in computability and recursion theory03F60Mathematical logic and founfations. Proof theory and constructive mathematics. Constructive and recursive analysis46NxxFunctional analysis. Miscellaneous applications of functional analysisPour-El,Marian Boykan52750Richards,Johnatan Ian440734ITUniversità della Basilicata - B.I.A.RICAunimarc000011165Computability in analysis and phisics79096UNIBASMONSCIMONOGRSCIENZEEXT0020120020716BAS01113220050601BAS011754batch0120050718BAS01105120050718BAS01111020050718BAS01114020050718BAS011154BAS01BAS01BOOKBASA5Dipartimento MatematicaGENCollezione generaleMAT64992M649922002071651Riservati