Logic's lost genius : the life of Gerhard Gentzen / Eckart Menzler-Trott ; translated by Craig Smorynski and Edward Griffor |
Autore | Menzler-Trott, Eckart |
Pubbl/distr/stampa | Providence, : American mathematical society, 2007 |
Descrizione fisica | XI, 442 p. ; 26 cm. |
Soggetto topico |
01Axx - History of mathematics and mathematicians [MSC 2020]
01A60 - History of mathematics in the 20th century [MSC 2020] |
ISBN | 978-08-218-3550-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0064741 |
Menzler-Trott, Eckart | ||
Providence, : American mathematical society, 2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logic's lost genius : the life of Gerhard Gentzen / Eckart Menzler-Trott ; translated by Craig Smorynski and Edward Griffor |
Autore | Menzler-Trott, Eckart |
Pubbl/distr/stampa | Providence, : American mathematical society, 2007 |
Descrizione fisica | XI, 442 p. ; 26 cm |
Soggetto topico |
01Axx - History of mathematics and mathematicians [MSC 2020]
01A60 - History of mathematics in the 20th century [MSC 2020] |
ISBN | 978-08-218-3550-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNISOB-VAN0064741 |
Menzler-Trott, Eckart | ||
Providence, : American mathematical society, 2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Suor Orsola Benincasa | ||
|
Logic's lost genius : the life of Gerhard Gentzen / Eckart Menzler-Trott ; translated by Craig Smorynski and Edward Griffor |
Autore | Menzler-Trott, Eckart |
Pubbl/distr/stampa | Providence, : American mathematical society, 2007 |
Descrizione fisica | XI, 442 p. ; 26 cm |
Soggetto topico |
01Axx - History of mathematics and mathematicians [MSC 2020]
01A60 - History of mathematics in the 20th century [MSC 2020] |
ISBN | 978-08-218-3550-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0064741 |
Menzler-Trott, Eckart | ||
Providence, : American mathematical society, 2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Mathematical Problems : An Essay on Their Nature and Importance / Craig Smoryński |
Autore | Smoryński, Craig |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | vi, 406 p. : ill. ; 24 cm |
Soggetto topico |
01Axx - History of mathematics and mathematicians [MSC 2020]
60-XX - Probability theory and stochastic processes [MSC 2020] 60A05 - Axioms; other general questions in probability [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 00Axx - General and miscellaneous specific topics [MSC 2020] 05C15 - Coloring of graphs and hypergraphs [MSC 2020] 05C45 - Eulerian and Hamiltonian graphs [MSC 2020] |
Soggetto non controllato |
Fibonacci numbers
Graph theory Logic Mathematical problems Mathematical research Probability Puzzles Tower of Hanoi |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0249467 |
Smoryński, Craig | ||
Cham, : Springer, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
MVT: A Most Valuable Theorem / Craig Smoryński |
Autore | Smoryński, Craig |
Pubbl/distr/stampa | Cham, : Springer, 2017 |
Descrizione fisica | x, 499 p. : ill. ; 24 cm |
Soggetto topico |
26-XX - Real functions [MSC 2020]
01A05 - General histories, source books [MSC 2020] |
Soggetto non controllato |
Calculus reform
Evolution of concepts History of Calculus Mathematical concepts Mean value theorem Teaching calculus Uniform continuity Uniform differentiability |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0123439 |
Smoryński, Craig | ||
Cham, : Springer, 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
MVT: A Most Valuable Theorem / Craig Smoryński |
Autore | Smoryński, Craig |
Edizione | [Cham : Springer, 2017] |
Pubbl/distr/stampa | x, 499 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
Soggetto topico |
26-XX - Real functions [MSC 2020]
01A05 - General histories, source books [MSC 2020] |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0123439 |
Smoryński, Craig | ||
x, 499 p., : ill. ; 24 cm | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Self-Reference and Modal Logic / C. Smoryński |
Autore | Smoryński, Craig |
Pubbl/distr/stampa | New York, : Springer-Verlag, 1985 |
Descrizione fisica | xii, 333 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B30 - Foundations of classical theories (including reverse mathematics) [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
Soggetto non controllato |
Addition
Algebra Arithmetic Calculation Logic Model theory Proof Theory Proofs |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0268811 |
Smoryński, Craig | ||
New York, : Springer-Verlag, 1985 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|