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 / Modesto Dedò
| 1 / Modesto Dedò |
| Autore | Dedò, Modesto |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Napoli, : Liguori, 1962 |
| Descrizione fisica | 332 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
51-XX - Geometry [MSC 2020] |
| ISBN |
88-207-0176-6
978-88-207-0176-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNICAMPANIA-VAN00015777 |
Dedò, Modesto
|
||
| Napoli, : Liguori, 1962 | ||
| 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-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 | ||
| ||
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 | ||
| ||
1: Greek, indian and arabic logic / edited by Dov M. Gabbay and John Woods
| 1: Greek, indian and arabic logic / edited by Dov M. Gabbay and John Woods |
| Pubbl/distr/stampa | Amsterdam, : Elsevier, 2004 |
| Descrizione fisica | VIII, 618 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0092459 |
| Amsterdam, : Elsevier, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
1: Greek, indian and arabic logic / edited by Dov M. Gabbay and John Woods
| 1: Greek, indian and arabic logic / edited by Dov M. Gabbay and John Woods |
| Pubbl/distr/stampa | Amsterdam, : Elsevier, 2004 |
| Descrizione fisica | VIII, 618 p. ; 24 cm |
| Soggetto topico |
01Axx - History of mathematics and mathematicians [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00092459 |
| Amsterdam, : Elsevier, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
1: Greek, indian and arabic logic / edited by Dov M. Gabbay and John Woods
| 1: Greek, indian and arabic logic / edited by Dov M. Gabbay and John Woods |
| Edizione | [Amsterdam : Elsevier, 2004] |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020] |
| ISBN | 8-0-444-50466-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0092459 |
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
|
1: Logic, Sets and Numbers / R. E. Edwards
| 1: Logic, Sets and Numbers / R. E. Edwards |
| Autore | Edwards, Robert E. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1979 |
| Descrizione fisica | xxxiv, 935 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020] 00A05 - Mathematics in general [MSC 2020] 08-XX - General algebraic systems [MSC 2020] |
| Soggetto non controllato |
Differential calculus
Differential equations Equations Finite Integral calculus Mathematics Proofs Variables |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268249 |
|
Edwards, Robert E.
|
||
| New York, : Springer-Verlag, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
1: Logic, Sets and Numbers / R. E. Edwards
| 1: Logic, Sets and Numbers / R. E. Edwards |
| Autore | Edwards, Robert E. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1979 |
| Descrizione fisica | xxxiv, 935 p. : ill. ; 24 cm |
| Soggetto topico |
00A05 - Mathematics in general [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 06-XX - Order, lattices, ordered algebraic structures [MSC 2020] 08-XX - General algebraic systems [MSC 2020] |
| Soggetto non controllato |
Differential calculus
Differential equations Equations Finite Integral calculus Mathematics Proofs Variables |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00268249 |
|
Edwards, Robert E.
|
||
| New York, : Springer-Verlag, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
1: Mathematical logic / George Tourlakis
| 1: Mathematical logic / George Tourlakis |
| Autore | Tourlakis, George |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 2003 |
| Descrizione fisica | XI, 328 p. ; 24 cm. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] |
| ISBN | 05-217-5373-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0050262 |
|
Tourlakis, George
|
||
| Cambridge, : Cambridge university, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Soggetto topico
-
03-XX - Mathematical logic and foundations [MSC 2020]
(931)
- 03Exx - Set theory [MSC 2020] (98)
- 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] (59)
- 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] (51)
- 03Cxx - Model theory [MSC 2020] (50)