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 Course in Mathematical Logic / Yu. I. Manin ; Translated from the Russian by Neal Koblitz
| A Course in Mathematical Logic / Yu. I. Manin ; Translated from the Russian by Neal Koblitz |
| Autore | Manin, Yuri I. |
| Pubbl/distr/stampa | New York, : Springer, 1977 |
| Descrizione fisica | xiii, 288 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B10 - Classical first-order logic [MSC 2020] 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] 03D80 - Applications of computability and recursion theory [MSC 2020] 03E50 - Continuum hypothesis and Martin's axiom [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] 03G12 - Quantum logic [MSC 2020] 11Uxx - Connections of number theory and logic [MSC 2020] 20A15 - Applications of logic to group theory [MSC 2020] |
| Soggetto non controllato |
Boundary Element Methods
Computability Forcing Formal languages Forms Functions Language Logic Mathematical logic Mathematics Presentation theory of complexity |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00268046 |
|
Manin, Yuri I.
|
||
| New York, : Springer, 1977 | ||
| 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 | ||
| ||
