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.
Analyse non standard / Francine Diener, Georges Reeb
| Analyse non standard / Francine Diener, Georges Reeb |
| Autore | Diener, Francine |
| Pubbl/distr/stampa | Paris, : Hermann, 1989 |
| Descrizione fisica | 196 p. ; 24 cm. |
| Altri autori (Persone) | Reeb, Georges |
| Soggetto topico |
03H05 - Nonstandard models in mathematics [MSC 2020]
26E35 - Nonstandard analysis [MSC 2020] |
| ISBN | 978-27-05-66109-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNICAMPANIA-SUN0056200 |
Diener, Francine
|
||
| Paris, : Hermann, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Analyse non standard / Francine Diener, Georges Reeb
| Analyse non standard / Francine Diener, Georges Reeb |
| Autore | Diener, Francine |
| Pubbl/distr/stampa | Paris, : Hermann, 1989 |
| Descrizione fisica | 196 p. ; 24 cm |
| Altri autori (Persone) | Reeb, Georges |
| Soggetto topico |
03H05 - Nonstandard models in mathematics [MSC 2020]
26E35 - Nonstandard analysis [MSC 2020] |
| ISBN | 978-27-05-66109-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNICAMPANIA-VAN0056200 |
|
Diener, Francine
|
||
| Paris, : Hermann, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Analyse non standard / Francine Diener, Georges Reeb
| Analyse non standard / Francine Diener, Georges Reeb |
| Autore | Diener, Francine |
| Pubbl/distr/stampa | Paris, : Hermann, 1989 |
| Descrizione fisica | 196 p. ; 24 cm |
| Altri autori (Persone) | Reeb, Georges |
| Soggetto topico |
03H05 - Nonstandard models in mathematics [MSC 2020]
26E35 - Nonstandard analysis [MSC 2020] |
| ISBN | 978-27-05-66109-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNICAMPANIA-VAN00056200 |
|
Diener, Francine
|
||
| Paris, : Hermann, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Foundations of Mathematics : Questions of Analysis, Geometry & Algorithmics / Erwin Engeler ; Translated by Charles B. Thomas
| Foundations of Mathematics : Questions of Analysis, Geometry & Algorithmics / Erwin Engeler ; Translated by Charles B. Thomas |
| Autore | Engeler, Erwin |
| Pubbl/distr/stampa | Berlin [etc.], : Springer-Verlag, 1993 |
| Descrizione fisica | 100 p. ; 24 cm |
| Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03B30 - Foundations of classical theories (including reverse mathematics) [MSC 2020] 03B40 - Combinatory logic and lambda-calculus [MSC 2020] 03H05 - Nonstandard models in mathematics [MSC 2020] |
| Soggetto non controllato |
Algorithms
Analysis Calculus Geometry Metamathematics Non-standard Analysis Proofs computational theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00290467 |
|
Engeler, Erwin
|
||
| Berlin [etc.], : Springer-Verlag, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Lectures on the hyperreals : an introduction to nonstandard analysis / Robert Goldblatt
| Lectures on the hyperreals : an introduction to nonstandard analysis / Robert Goldblatt |
| Autore | Goldblatt, Robert |
| Pubbl/distr/stampa | New York, : Springer, 1998 |
| Descrizione fisica | XIV, 289 p. ; 24 cm. |
| Soggetto topico |
26-XX - Real functions [MSC 2020]
03H05 - Nonstandard models in mathematics [MSC 2020] 26E35 - Nonstandard analysis [MSC 2020] 28E05 - Nonstandard measure theory [MSC 2020] |
| ISBN |
03-87984-64-X
8-1-4612-6841-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0052988 |
|
Goldblatt, Robert
|
||
| New York, : Springer, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Lectures on the hyperreals : an introduction to nonstandard analysis / Robert Goldblatt
| Lectures on the hyperreals : an introduction to nonstandard analysis / Robert Goldblatt |
| Autore | Goldblatt, Robert |
| Pubbl/distr/stampa | New York, : Springer, 1998 |
| Descrizione fisica | XIV, 289 p. ; 24 cm |
| Soggetto topico |
26-XX - Real functions [MSC 2020]
03H05 - Nonstandard models in mathematics [MSC 2020] 26E35 - Nonstandard analysis [MSC 2020] 28E05 - Nonstandard measure theory [MSC 2020] |
| ISBN |
03-87984-64-X
978-14-612-6841-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0052988 |
|
Goldblatt, Robert
|
||
| New York, : Springer, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Lectures on the hyperreals : an introduction to nonstandard analysis / Robert Goldblatt
| Lectures on the hyperreals : an introduction to nonstandard analysis / Robert Goldblatt |
| Autore | Goldblatt, Robert |
| Pubbl/distr/stampa | New York, : Springer, 1998 |
| Descrizione fisica | XIV, 289 p. ; 24 cm |
| Soggetto topico |
03H05 - Nonstandard models in mathematics [MSC 2020]
26-XX - Real functions [MSC 2020] 26E35 - Nonstandard analysis [MSC 2020] 28E05 - Nonstandard measure theory [MSC 2020] |
| Soggetto non controllato |
Boolean algebra
Calculus Constructions Differential equations Lebesgue measures Measure Measure Theory Proofs Real analysis Riemann integrals Tools Topology Ultrapower eXist |
| ISBN |
03-87984-64-X
978-14-612-6841-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00052988 |
|
Goldblatt, Robert
|
||
| New York, : Springer, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Lectures on the hyperreals : an introduction to nonstandard analysis / Robert Goldblatt
| Lectures on the hyperreals : an introduction to nonstandard analysis / Robert Goldblatt |
| Autore | Goldblatt, Robert |
| Pubbl/distr/stampa | New York, : Springer, 1998 |
| Descrizione fisica | XIV, 289 p. ; 24 cm |
| Soggetto topico |
03H05 - Nonstandard models in mathematics [MSC 2020]
26-XX - Real functions [MSC 2020] 26E35 - Nonstandard analysis [MSC 2020] 28E05 - Nonstandard measure theory [MSC 2020] |
| Soggetto non controllato |
Boolean algebra
Calculus Constructions Differential equations Lebesgue measures Measure Measure Theory Proofs Real analysis Riemann integrals Tools Topology Ultrapower eXist |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00298509 |
|
Goldblatt, Robert
|
||
| New York, : Springer, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical Logic : An Introduction to Model Theory / A. H. Lightstone ; edited by H. B. Enderton
| Mathematical Logic : An Introduction to Model Theory / A. H. Lightstone ; edited by H. B. Enderton |
| Autore | Lightstone, Albert H. |
| Pubbl/distr/stampa | New York, : Plenum, 1978 |
| Descrizione fisica | xiii, 338 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03H05 - Nonstandard models in mathematics [MSC 2020] 03B05 - Classical propositional logic [MSC 2020] 03Cxx - Model theory [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03C35 - Categoricity and completeness of theories [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] |
| Soggetto non controllato |
Calculus
Forms Language Logic Mathematica Mathematical logic Natural Proofs Proposition Set Theory Variables |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268201 |
|
Lightstone, Albert H.
|
||
| New York, : Plenum, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical Logic : An Introduction to Model Theory / A. H. Lightstone ; edited by H. B. Enderton
| Mathematical Logic : An Introduction to Model Theory / A. H. Lightstone ; edited by H. B. Enderton |
| Autore | Lightstone, Albert H. |
| Pubbl/distr/stampa | New York, : Plenum, 1978 |
| Descrizione fisica | xiii, 338 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B05 - Classical propositional logic [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] 03C35 - Categoricity and completeness of theories [MSC 2020] 03Cxx - Model theory [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03H05 - Nonstandard models in mathematics [MSC 2020] |
| Soggetto non controllato |
Calculus
Forms Language Logic Mathematica Mathematical logic Natural Proofs Proposition Set Theory Variables |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00268201 |
|
Lightstone, Albert H.
|
||
| New York, : Plenum, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
