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.
1 / Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga editors
| 1 / Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga editors |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | xiv, 205 p. : ill. ; 24 cm |
| Soggetto non controllato |
Foundations of mathematics
General philosophy of science History of mathematics and logic Mathematical logic Philosophy of mathematics and logic |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0276932 |
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
1 / Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga editors
| 1 / Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga editors |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | xiv, 205 p. : ill. ; 24 cm |
| Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
01A60 - History of mathematics in the 20th century [MSC 2020] 01A80 - Sociology (and profession) of mathematics [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Foundations of mathematics
General philosophy of science History of mathematics and logic Mathematical logic Philosophy of mathematics and logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00276932 |
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
2 / Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga editors
| 2 / Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga editors |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | xiv, 287 p. : ill. ; 24 cm |
| Soggetto non controllato |
Foundations of mathematics
General philosophy of science History of mathematics and logic Mathematical logic Philosophy of mathematics and logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0276934 |
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
2 / Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga editors
| 2 / Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga editors |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | xiv, 287 p. : ill. ; 24 cm |
| Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
01A60 - History of mathematics in the 20th century [MSC 2020] 01A80 - Sociology (and profession) of mathematics [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Foundations of mathematics
General philosophy of science History of mathematics and logic Mathematical logic Philosophy of mathematics and logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00276934 |
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Axiomatic Thinking / Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga editors
| Axiomatic Thinking / Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga editors |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | 2 volumi : ill. ; 24 cm |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0276931 |
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Axiomatic Thinking / Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga editors
| Axiomatic Thinking / Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga editors |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | 2 volumi : ill. ; 24 cm |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00276931 |
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Formal Theories of Information [Risorsa elettronica] : From Shannon to Semantic Information Theory and General Concepts of Information / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Giovanni Sommaruga
| Formal Theories of Information [Risorsa elettronica] : From Shannon to Semantic Information Theory and General Concepts of Information / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Giovanni Sommaruga |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783642006593 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009259600403321 |
| Berlin ; Heidelberg : Springer, 2009 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
History and philosophy of constructive type theory / G. Sommaruga
| History and philosophy of constructive type theory / G. Sommaruga |
| Autore | Sommaruga, Giovanni |
| Pubbl/distr/stampa | Dordrecht : Kluwer, c2000 |
| Descrizione fisica | x, 354 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Syntese Library |
| Soggetto non controllato |
Filosofia - Teoria
Logica matematica |
| ISBN | 0-7923-6180-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001493330403321 |
Sommaruga, Giovanni
|
||
| Dordrecht : Kluwer, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Turing’s revolution : the impact of his ideas about computability / Giovanni Sommaruga, Thomas Strahm editors
| Turing’s revolution : the impact of his ideas about computability / Giovanni Sommaruga, Thomas Strahm editors |
| Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2015 |
| Descrizione fisica | XXIV, 329 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020] 03Dxx - Computability and recursion theory [MSC 2020] 03Axx - Philosophical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Alonzo Church
Computer music Emil Post Generalised computability Philosophy of computability |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0113716 |
| [Cham], : Birkhäuser, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Turing’s revolution : the impact of his ideas about computability / Giovanni Sommaruga, Thomas Strahm editors
| Turing’s revolution : the impact of his ideas about computability / Giovanni Sommaruga, Thomas Strahm editors |
| Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2015 |
| Descrizione fisica | XXIV, 329 p. : ill. ; 24 cm |
| Soggetto topico |
01Axx - History of mathematics and mathematicians [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03Axx - Philosophical aspects of logic and foundations [MSC 2020] 03Dxx - Computability and recursion theory [MSC 2020] |
| Soggetto non controllato |
Alonzo Church
Computer music Emil Post Generalised computability Philosophy of computability |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00113716 |
| [Cham], : Birkhäuser, : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
