Computability : a mathematical sketchbook / Douglas S. Bridges |
Autore | Bridges, Douglas S. |
Pubbl/distr/stampa | New York [etc.] : Springer, c1994 |
Descrizione fisica | IX, 178 p. : ill. ; 25 cm. |
Disciplina | 511.3 |
Collana | Graduate texts in mathematics |
Soggetto topico | Logica matematica |
ISBN | 0-387-94174-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNIBAS-000011845 |
Bridges, Douglas S. | ||
New York [etc.] : Springer, c1994 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. della Basilicata | ||
|
Computability : a mathematical sketchbook / Douglas S. Bridges |
Autore | Bridges, Douglas S. |
Pubbl/distr/stampa | New York, : Springer, 1994 |
Descrizione fisica | IX, 178 p. : ill. ; 25 cm. |
Soggetto topico | 03Dxx - Computability and recursion theory [MSC 2020] |
ISBN | 978-35-409-4174-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0053441 |
Bridges, Douglas S. | ||
New York, : Springer, 1994 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Computability : a mathematical sketchbook / Douglas S. Bridges |
Autore | Bridges, Douglas S. |
Pubbl/distr/stampa | New York, : Springer, 1994 |
Descrizione fisica | IX, 178 p. : ill. ; 25 cm |
Soggetto topico | 03Dxx - Computability and recursion theory [MSC 2020] |
ISBN | 978-35-409-4174-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0053441 |
Bridges, Douglas S. | ||
New York, : Springer, 1994 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Computability : a mathematical sketchbook / Douglas S. Bridges |
Autore | Bridges, Douglas S. |
Pubbl/distr/stampa | New York, : Springer, 1994 |
Descrizione fisica | IX, 178 p. : ill. ; 25 cm |
Soggetto topico | 03Dxx - Computability and recursion theory [MSC 2020] |
ISBN | 978-35-409-4174-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00053441 |
Bridges, Douglas S. | ||
New York, : Springer, 1994 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Constructive analysis / Errett Bishop, Douglas Bridges |
Autore | Bishop, Erret |
Pubbl/distr/stampa | Berlin [etc.] : Springer, c1985 |
Descrizione fisica | XII, 477 p. ; 25 cm. |
Disciplina | 515 |
Altri autori (Persone) | Bridges, Douglas S. |
Collana | Grundlehren der mathematischen Wissenschaften |
Soggetto topico | Analisi matematica - Fondamenti |
ISBN | 3-540-15066-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNIBAS-000015494 |
Bishop, Erret | ||
Berlin [etc.] : Springer, c1985 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. della Basilicata | ||
|
Constructive Analysis / E. Bishop, D. Bridges |
Autore | Bishop, Errett |
Pubbl/distr/stampa | Berlin, : Springer, 1985 |
Descrizione fisica | xii, 477 p. ; 24 cm |
Altri autori (Persone) | Bridges, Douglas S. |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
28-XX - Measure and integration [MSC 2020] 28C10 - Set functions and measures on topological groups, Haar measures, invariant measures [MSC 2020] 28C05 - Integration theory via linear functionals (Radon measures, Daniell integrals, etc.), representing set functions and measures [MSC 2020] 03F65 - Other constructive mathematics [MSC 2020] 03F60 - Constructive and recursive analysis [MSC 2020] 46S30 - Constructive functional analysis [MSC 2020] |
Soggetto non controllato |
Analysis
Banach algebra Boundary Element Methods Constructive mathematics Convolution Hilbert spaces Set Theory Sets Time |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0263476 |
Bishop, Errett | ||
Berlin, : Springer, 1985 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Constructive Analysis / E. Bishop, D. Bridges |
Autore | Bishop, Errett |
Pubbl/distr/stampa | Berlin, : Springer, 1985 |
Descrizione fisica | xii, 477 p. ; 24 cm |
Altri autori (Persone) | Bridges, Douglas S. |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03F60 - Constructive and recursive analysis [MSC 2020] 03F65 - Other constructive mathematics [MSC 2020] 28-XX - Measure and integration [MSC 2020] 28C05 - Integration theory via linear functionals (Radon measures, Daniell integrals, etc.), representing set functions and measures [MSC 2020] 28C10 - Set functions and measures on topological groups, Haar measures, invariant measures [MSC 2020] 46S30 - Constructive functional analysis [MSC 2020] |
Soggetto non controllato |
Analysis
Banach algebra Boundary Element Methods Constructive mathematics Convolution Hilbert spaces Set Theory Sets Time |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00263476 |
Bishop, Errett | ||
Berlin, : Springer, 1985 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Constructive functional analysis / D. S. Bridges |
Autore | Bridges, Douglas S. |
Pubbl/distr/stampa | London ; San Francisco : Pitman Publishing, 1979 |
Descrizione fisica | 203 p. ; 25 cm. |
Disciplina | 515.7 |
Collana | Pitman research notes in mathematics series, ISSN 02693674 ; 28 |
Soggetto topico |
Best approximations
Constructive mathematics Functional analysis Proof theory |
ISBN | 0273084186 |
Classificazione |
AMS 03F99
AMS 41A50 AMS 46-01 AMS 46-XX QA320 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000784669707536 |
Bridges, Douglas S. | ||
London ; San Francisco : Pitman Publishing, 1979 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Foundations of real and abstract analysis / Douglas S. Bridges |
Autore | Bridges, Douglas S. |
Pubbl/distr/stampa | Berlino, : Springer-Verlag, copyr. 1997 |
Descrizione fisica | XIV, 322 p. : ill. ; 23 cm |
Disciplina | 515 |
Collana | Graduate texts in mathematics |
Soggetto topico | analisi matematica |
ISBN | 0-387-98239-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000195460203316 |
Bridges, Douglas S. | ||
Berlino, : Springer-Verlag, copyr. 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Foundations of real and abstract analysis / Douglas S. Bridges |
Autore | Bridges, Douglas S. |
Pubbl/distr/stampa | New York : Springer-Verlag, c1998 |
Descrizione fisica | xiv, 322 p. ; 24 cm. |
Disciplina | 515.7 |
Collana | Graduate texts in mathematics, 0072-5285 ; 174 |
Soggetto topico | Mathematical analysis |
ISBN | 0387982396 |
Classificazione |
AMS 46-01
QA300.B69 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000907069707536 |
Bridges, Douglas S. | ||
New York : Springer-Verlag, c1998 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|