Computability in analysis and physics / Marian B. Pour-El, J. Ian Richards |
Autore | Pour-El, Marian B. |
Pubbl/distr/stampa | Berlin : Springer-Verlag, 1989 |
Descrizione fisica | x, 206 p. ; 25 cm. |
Disciplina | 511.3 |
Altri autori (Persone) | Richards, J. Ianauthor |
Collana | Perspectives in mathematical logic |
Soggetto topico |
Computable functions
Mathematical analysis Physics |
ISBN | 3540500359 |
Classificazione |
AMS 03D80
AMS 03F60 AMS 46N |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000773159707536 |
Pour-El, Marian B. | ||
Berlin : Springer-Verlag, 1989 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Foundations of constructive analysis / Erret Bishop |
Autore | Bishop, Errett |
Pubbl/distr/stampa | New York : McGraw-Hill, 1967 |
Descrizione fisica | x, 370 p. ; 23 cm. |
Disciplina | 511 |
Collana | McGraw-Hill series in higher mathematics |
Soggetto topico | Mathematical analysis-foundations |
Classificazione | AMS 03F60 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000904899707536 |
Bishop, Errett | ||
New York : McGraw-Hill, 1967 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Foundations of constructive mathematics : mathematical studies / Michael J. Beeson |
Autore | Beeson, Michael J. |
Pubbl/distr/stampa | Berlin : Springer-Verlag, 1985 |
Descrizione fisica | xxiii, 466 p. ; 24 cm. |
Disciplina | 511.3 |
Soggetto topico | Constructive mathematics |
ISBN | 3540121730 |
Classificazione |
AMS 03F
AMS 03F50 AMS 03F55 AMS 03F60 AMS 03F65 QA9.56.B44 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000904979707536 |
Beeson, Michael J. | ||
Berlin : Springer-Verlag, 1985 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|