1.

Record Nr.

UNICAMPANIAVAN00248756

Autore

von Plato, Jan

Titolo

Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness / Jan von Plato

Pubbl/distr/stampa

Cham, : Springer, 2020

Titolo uniforme

Can Mathematics Be Proved Consistent?

Descrizione fisica

ix, 263 p. : ill. ; 24 cm

Soggetti

01A60 - History of mathematics in the 20th century [MSC 2020]

01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020]

01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020]

03-XX - Mathematical logic and foundations [MSC 2020]

03F40 - Gödel numberings and issues of incompleteness [MSC 2020]

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia



2.

Record Nr.

UNICAMPANIAVAN00123503

Autore

Savin, Anton

Titolo

Introduction to Complex Theory of Differential Equations / Anton Savin, Boris Sternin

Pubbl/distr/stampa

Cham, : Birkhäuser, 2017

Titolo uniforme

Introduction to Complex Theory of Differential Equations

Descrizione fisica

ix, 138 p. : ill. ; 24 cm

Altri autori (Persone)

Sternin, Boris

Soggetti

32W50 - Other partial differential equations of complex analysis in several variables  [MSC 2020]

35Gxx - General first-order partial differential equations and systems of first-order partial differential equations [MSC 2020]

58-XX - Global analysis, analysis on manifolds [MSC 2020]

58J32 - Boundary value problems on manifolds [MSC 2020]

58J47 - Propagation of singularities; initial value problems on manifolds [MSC 2020]

58Zxx - Applications of global analysis to the sciences [MSC 2020]

78-XX - Optics, electromagnetic theory [MSC 2020]

86-XX - Geophysics [MSC 2020]

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia