top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Computability : a mathematical sketchbook / Douglas S. Bridges
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
Opac: Controlla la disponibilità qui
Computability : a mathematical sketchbook / Douglas S. Bridges
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
Opac: Controlla la disponibilità qui
Computability : a mathematical sketchbook / Douglas S. Bridges
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
Opac: Controlla la disponibilità qui
Computability : A Mathematical Sketchbook / Douglas S. Bridges
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]
Soggetto non controllato Complexity
Computability
Functions
Recursion
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
Opac: Controlla la disponibilità qui
Computability : A Mathematical Sketchbook / Douglas S. Bridges
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]
Soggetto non controllato Complexity
Computability
Functions
Recursion
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00292711
Bridges, Douglas S.  
New York, : Springer, 1994
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Constructive analysis / Errett Bishop, Douglas Bridges
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
Opac: Controlla la disponibilità qui
Constructive Analysis / E. Bishop, D. Bridges
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
Opac: Controlla la disponibilità qui
Constructive Analysis / E. Bishop, D. Bridges
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
Opac: Controlla la disponibilità qui
Constructive functional analysis / D. S. Bridges
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
Opac: Controlla la disponibilità qui
Foundations of Real and Abstract Analysis / Douglas S. Bridges
Foundations of Real and Abstract Analysis / Douglas S. Bridges
Autore Bridges, Douglas S.
Pubbl/distr/stampa New York, : Springer, 1998
Descrizione fisica xiv, 322 p. ; 24 cm
Soggetto topico 00A06 - Mathematics for nonmathematicians (engineering, social sciences, etc.) [MSC 2020]
26-XX - Real functions [MSC 2020]
28-XX - Measure and integration [MSC 2020]
46-XX - Functional analysis [MSC 2020]
Soggetto non controllato Calculus
Differential equations
Functional Analysis
Hilbert spaces
Mathematical Economics
Real analysis
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00298487
Bridges, Douglas S.  
New York, : Springer, 1998
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui