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 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Generalized Functions, Convergence Structures, and Their Applications / edited by Bogoljub Stanković, ... [et al.]
| Generalized Functions, Convergence Structures, and Their Applications / edited by Bogoljub Stanković, ... [et al.] |
| Pubbl/distr/stampa | New York, : Plenum, 1988 |
| Descrizione fisica | xi, 452 p. : ill. ; 24 cm |
| Soggetto topico |
46-XX - Functional analysis [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] |
| Soggetto non controllato |
Algebra
Calculus Derivatives Differential equations Non-standard Analysis |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0269017 |
| New York, : Plenum, 1988 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Generalized Functions, Convergence Structures, and Their Applications / edited by Bogoljub Stanković, ... [et al.]
| Generalized Functions, Convergence Structures, and Their Applications / edited by Bogoljub Stanković, ... [et al.] |
| Pubbl/distr/stampa | New York, : Plenum, 1988 |
| Descrizione fisica | xi, 452 p. : ill. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
46-XX - Functional analysis [MSC 2020] |
| Soggetto non controllato |
Algebra
Calculus Derivatives Differential equations Non-standard Analysis |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00269017 |
| New York, : Plenum, 1988 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
L’hôpital's analyse des infiniments petits : an annotated translation with source material by Johann Bernoulli / Robert E. Bradley, Salvatore J. Petrilli, C. Edward Sandifer
| L’hôpital's analyse des infiniments petits : an annotated translation with source material by Johann Bernoulli / Robert E. Bradley, Salvatore J. Petrilli, C. Edward Sandifer |
| Autore | Bradley, Robert E. |
| Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2015 |
| Descrizione fisica | LIV, 311 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Petrilli, Salvatore J.
Sandifer, C. Edward |
| Soggetto topico |
26-XX - Real functions [MSC 2020]
01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020] 01A45 - History of mathematics in the 17th century [MSC 2020] |
| Soggetto non controllato |
Differential calculus
Differential geometry History of Calculus Infinitesimal Analysis Johann Bernoulli L’Hôpital Non-standard Analysis |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0113484 |
Bradley, Robert E.
|
||
| [Cham], : Birkhäuser, : Springer, 2015 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
L’hôpital's analyse des infiniments petits : an annotated translation with source material by Johann Bernoulli / Robert E. Bradley, Salvatore J. Petrilli, C. Edward Sandifer
| L’hôpital's analyse des infiniments petits : an annotated translation with source material by Johann Bernoulli / Robert E. Bradley, Salvatore J. Petrilli, C. Edward Sandifer |
| Autore | Bradley, Robert E. |
| Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2015 |
| Descrizione fisica | LIV, 311 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Petrilli, Salvatore J.
Sandifer, C. Edward |
| Soggetto topico |
01A45 - History of mathematics in the 17th century [MSC 2020]
01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020] 26-XX - Real functions [MSC 2020] |
| Soggetto non controllato |
Differential calculus
Differential geometry History of Calculus Infinitesimal Analysis Johann Bernoulli L’Hôpital Non-standard Analysis |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00113484 |
Bradley, Robert E.
|
||
| [Cham], : Birkhäuser, : Springer, 2015 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Nonequilibrium Problems in Many-Particle Systems : Lectures given at the 3. Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Monecatini, Italy, June 15-27, 1992 / L. Arkeryd ... [et al.] (eds.)
| Nonequilibrium Problems in Many-Particle Systems : Lectures given at the 3. Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Monecatini, Italy, June 15-27, 1992 / L. Arkeryd ... [et al.] (eds.) |
| Autore | Centro internazionale matematico estivo |
| Pubbl/distr/stampa | Berlin [etc.], : Springer-Verlag, 1993 |
| Descrizione fisica | 158 p. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
82-XX - Statistical mechanics, structure of matter [MSC 2020] 82Cxx - Time-dependent statistical mechanics (dynamic and nonequilibrium) [MSC 2020] |
| Soggetto non controllato |
Boltzmann Equations
Differential equations Entropy methods Kinetic Theory Many-particle Systems Non-standard Analysis Nonequilibrium Semiconductorr |
| ISBN |
03-87569-45-6
35-10-56945-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00051720 |
Centro internazionale matematico estivo
|
||
| Berlin [etc.], : Springer-Verlag, 1993 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Nonequilibrium Problems in Many-Particle Systems : Lectures given at the 3. Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Monecatini, Italy, June 15-27, 1992 / L. Arkeryd ... [et al.] (eds.)
| Nonequilibrium Problems in Many-Particle Systems : Lectures given at the 3. Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Monecatini, Italy, June 15-27, 1992 / L. Arkeryd ... [et al.] (eds.) |
| Autore | Centro internazionale matematico estivo |
| Pubbl/distr/stampa | Berlin [etc.], : Springer-Verlag, 1993 |
| Descrizione fisica | 158 p. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
82-XX - Statistical mechanics, structure of matter [MSC 2020] 82Cxx - Time-dependent statistical mechanics (dynamic and nonequilibrium) [MSC 2020] |
| Soggetto non controllato |
Boltzmann Equations
Differential equations Entropy methods Kinetic Theory Many-particle Systems Non-standard Analysis Nonequilibrium Semiconductorr |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00290577 |
Centro internazionale matematico estivo
|
||
| Berlin [etc.], : Springer-Verlag, 1993 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Nonstandard Analysis : Recent Developments / edited by Albert Emerson Hurd
| Nonstandard Analysis : Recent Developments / edited by Albert Emerson Hurd |
| Pubbl/distr/stampa | Berlin, : Springer, 1983 |
| Descrizione fisica | viii, 220 p. ; 24 cm |
| Soggetto topico |
46-XX - Functional analysis [MSC 2020]
34Cxx - Qualitative theory for ordinary differential equation [MSC 2020] 00Bxx - Conference proceedings and collections of articles [MSC 2020] 82-XX - Statistical mechanics, structure of matter [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] |
| Soggetto non controllato |
Calculation
Differential equations Equations Finite Non-standard Analysis Topology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0262819 |
| Berlin, : Springer, 1983 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Nonstandard Analysis : Recent Developments / edited by Albert Emerson Hurd
| Nonstandard Analysis : Recent Developments / edited by Albert Emerson Hurd |
| Pubbl/distr/stampa | Berlin, : Springer, 1983 |
| Descrizione fisica | viii, 220 p. ; 24 cm |
| Soggetto topico |
00Bxx - Conference proceedings and collections of articles [MSC 2020]
34Cxx - Qualitative theory for ordinary differential equation [MSC 2020] 46-XX - Functional analysis [MSC 2020] 82-XX - Statistical mechanics, structure of matter [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] |
| Soggetto non controllato |
Calculation
Differential equations Equations Finite Non-standard Analysis Topology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00262819 |
| Berlin, : Springer, 1983 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||