01609nam0 2200337 i 450 VAN002218120240223092909.84535-405-0035-9978-03-87500-35-520040826d1989 |0itac50 baengDE|||| |||||Computability in analysis and physicsMarian B. Pour-El, J. Ian RichardsBerlinSpringer-Verlag1989X, 206 p.ill.25 cm001VAN00508172001 Perspectives in mathematical logic210 BerlinSpringer03D80Applications of computability and recursion theory [MSC 2020]VANC024450MF03F60Constructive and recursive analysis [MSC 2020]VANC024451MFBerlinVANL000066Pour-ElMarian B.VANV01843552750RichardsJonathan I.VANV018436729144Springer <editore>VANV108073650ITSOL20240614RICABIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08BIBLIOTECA DEL DIPARTIMENTO DI ARCHITETTURA E DISEGNO INDUSTRIALEIT-CE0107VAN01VAN0022181BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 3425 08 4818 I 20060926 BIBLIOTECA DEL DIPARTIMENTO DI ARCHITETTURA E DISEGNO INDUSTRIALE01PREST IIIAa236 01 2455 20051003 Computability in analysis and physics1432574UNICAMPANIA