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 / Jean-Yves Girard
| 1 / Jean-Yves Girard |
| Autore | Girard, Jean Y. |
| Pubbl/distr/stampa | Napoli, : Bibliopolis, 1987 |
| Descrizione fisica | 503 p. ; 25 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| ISBN | 88-7088-123-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0055646 |
Girard, Jean Y.
|
||
| Napoli, : Bibliopolis, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
1 / Jean-Yves Girard
| 1 / Jean-Yves Girard |
| Autore | Girard, Jean Y. |
| Pubbl/distr/stampa | Napoli, : Bibliopolis, 1987 |
| Descrizione fisica | 503 p. ; 25 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| ISBN | 88-7088-123-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00055646 |
|
Girard, Jean Y.
|
||
| Napoli, : Bibliopolis, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
2: Set-theoretic tools for every mathematican / Winfried Just, Martin Weese
| 2: Set-theoretic tools for every mathematican / Winfried Just, Martin Weese |
| Autore | Just, Winfried |
| Pubbl/distr/stampa | Providence, : American Mathematical Society, 1997 |
| Descrizione fisica | XIII, 224 p. ; 26 cm. |
| Altri autori (Persone) | Weese, Martin |
| Soggetto topico |
03Exx - Set theory [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| ISBN |
08-218-0528-2
978-08-218-0528-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0055906 |
|
Just, Winfried
|
||
| Providence, : American Mathematical Society, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
2: Set-theoretic tools for every mathematican / Winfried Just, Martin Weese
| 2: Set-theoretic tools for every mathematican / Winfried Just, Martin Weese |
| Autore | Just, Winfried |
| Pubbl/distr/stampa | Providence, : American Mathematical Society, 1997 |
| Descrizione fisica | XIII, 224 p. ; 26 cm |
| Altri autori (Persone) | Weese, Martin |
| Soggetto topico |
03Exx - Set theory [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| ISBN |
08-218-0528-2
978-08-218-0528-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0055906 |
|
Just, Winfried
|
||
| Providence, : American Mathematical Society, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
2: Set-theoretic tools for every mathematican / Winfried Just, Martin Weese
| 2: Set-theoretic tools for every mathematican / Winfried Just, Martin Weese |
| Autore | Just, Winfried |
| Pubbl/distr/stampa | Providence, : American Mathematical Society, 1997 |
| Descrizione fisica | XIII, 224 p. ; 26 cm |
| Altri autori (Persone) | Weese, Martin |
| Soggetto topico |
03Exx - Set theory [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| ISBN |
08-218-0528-2
978-08-218-0528-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00055906 |
|
Just, Winfried
|
||
| Providence, : American Mathematical Society, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A History of Folding in Mathematics : Mathematizing the Margins / Michael Friedman
| A History of Folding in Mathematics : Mathematizing the Margins / Michael Friedman |
| Autore | Friedman, Michael |
| Pubbl/distr/stampa | Cham, : Birkhäuser, 2018 |
| Descrizione fisica | xv, 419 p. : ill. ; 24 cm |
| Soggetto topico |
01Axx - History of mathematics and mathematicians [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| Soggetto non controllato |
Dürer’s nets and the folding of polyhedra
Folding based geometry Folding in kindergarten Marginalization of knowledge Material mathematical models Mathematical practices Operative geometry vs. axiomatic geometry |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124509 |
|
Friedman, Michael
|
||
| Cham, : Birkhäuser, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A History of Folding in Mathematics : Mathematizing the Margins / Michael Friedman
| A History of Folding in Mathematics : Mathematizing the Margins / Michael Friedman |
| Autore | Friedman, Michael |
| Pubbl/distr/stampa | Cham, : Birkhäuser, 2018 |
| Descrizione fisica | xv, 419 p. : ill. ; 24 cm |
| Soggetto topico |
01Axx - History of mathematics and mathematicians [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| Soggetto non controllato |
Dürer’s nets and the folding of polyhedra
Folding based geometry Folding in kindergarten Marginalization of knowledge Material mathematical models Mathematical practices Operative geometry vs. axiomatic geometry |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00124509 |
|
Friedman, Michael
|
||
| Cham, : Birkhäuser, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A History of Folding in Mathematics : Mathematizing the Margins / Michael Friedman
| A History of Folding in Mathematics : Mathematizing the Margins / Michael Friedman |
| Autore | Friedman, Michael |
| Edizione | [Cham : Birkhäuser, 2018] |
| Pubbl/distr/stampa | xv, 419 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
01Axx - History of mathematics and mathematicians [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0124509 |
|
Friedman, Michael
|
||
| xv, 419 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Adaptive logics for defeasible reasoning : applications in argumentation, normative reasoning and default reasoning / Christian Straßer
| Adaptive logics for defeasible reasoning : applications in argumentation, normative reasoning and default reasoning / Christian Straßer |
| Autore | Straßer, Christian |
| Pubbl/distr/stampa | Cham, : Springer, 2014 |
| Descrizione fisica | XVIII, 438 p. ; 24 cm |
| Soggetto topico |
03Fxx - Proof theory and constructive mathematics [MSC 2020]
03B80 - Other applications of logic [MSC 2020] |
| Soggetto non controllato |
Abnormality-based reasoning
Abstract argumentation Adaptive logic Conditional logics of normality Default logic Defeasible modus ponens Defeasible reasoning Deontic conflicts Deontic logic Deontic paradox Diachronic defeasibility Dynamic proofs Nonmonotonic logic Plausible reasoning Preference semantics Reasoning on the basis of uncertainty Selection semantics Standard format for adaptive logics Synchronic defeasibility |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0103165 |
|
Straßer, Christian
|
||
| Cham, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Adaptive logics for defeasible reasoning : applications in argumentation, normative reasoning and default reasoning / Christian Straßer
| Adaptive logics for defeasible reasoning : applications in argumentation, normative reasoning and default reasoning / Christian Straßer |
| Autore | Straßer, Christian |
| Pubbl/distr/stampa | Cham, : Springer, 2014 |
| Descrizione fisica | XVIII, 438 p. ; 24 cm |
| Soggetto topico |
03B80 - Other applications of logic [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| Soggetto non controllato |
Abnormality-based reasoning
Abstract argumentation Adaptive logic Conditional logics of normality Default logic Defeasible modus ponens Defeasible reasoning Deontic conflicts Deontic logic Deontic paradox Diachronic defeasibility Dynamic proofs Nonmonotonic logic Plausible reasoning Preference semantics Reasoning on the basis of uncertainty Selection semantics Standard format for adaptive logics Synchronic defeasibility |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00103165 |
|
Straßer, Christian
|
||
| Cham, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
