Introduction to Discrete Mathematics via Logic and Proof / Calvin Jongsma |
Autore | Jongsma, Calvin |
Edizione | [Cham : Springer, 2019] |
Pubbl/distr/stampa | xx, 482 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
05-XX - Combinatorics [MSC 2020] 06-XX - Order, lattices, ordered algebraic structures [MSC 2020] 05Cxx - Graph theory [MSC 2020] 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] 03Bxx - General logic [MSC 2020] 06E30 - Boolean functions [MSC 2020] |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0126931 |
Jongsma, Calvin
![]() |
||
xx, 482 p., : ill. ; 24 cm | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Introduzione alla logica formale / Gabriele Lolli |
Autore | Lolli, Gabriele |
Pubbl/distr/stampa | Bologna, : Il Mulino, 1991 |
Descrizione fisica | 333 p. ; 24 cm. |
Disciplina | 511.3 |
Soggetto topico |
03Bxx - General logic [MSC 2020]
Logica formale |
ISBN | 88-15-02958-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNICAMPANIA-SUN0052066 |
Lolli, Gabriele
![]() |
||
Bologna, : Il Mulino, 1991 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Introduzione alla logica formale / Gabriele Lolli |
Autore | Lolli, Gabriele |
Pubbl/distr/stampa | Bologna, : Il Mulino, 1991 |
Descrizione fisica | 333 p. ; 24 cm |
Disciplina | 511.3 |
Soggetto topico |
03Bxx - General logic [MSC 2020]
Logica formale |
ISBN | 88-15-02958-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNICAMPANIA-VAN0052066 |
Lolli, Gabriele
![]() |
||
Bologna, : Il Mulino, 1991 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Introduzione alla logica formale / Gabriele Lolli |
Autore | Lolli, Gabriele |
Pubbl/distr/stampa | Bologna, : Il Mulino, 1991 |
Descrizione fisica | 333 p. ; 24 cm |
Disciplina | 511.3 |
Soggetto topico |
Logica formale
03Bxx - General logic [MSC 2020] |
ISBN | 88-15-02958-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNICAMPANIA-VAN00052066 |
Lolli, Gabriele
![]() |
||
Bologna, : Il Mulino, 1991 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Kripke’s worlds : an introduction to modal logics via tableaux / Olivier Gasquet ... [et al.] |
Pubbl/distr/stampa | Berlin, : Springer, 2014 |
Descrizione fisica | XV, 198 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020] |
Soggetto non controllato |
Epistemic logics
Modal logics Tableau method Temporal logics |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0104264 |
Berlin, : Springer, 2014 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Kripke’s worlds : an introduction to modal logics via tableaux / Olivier Gasquet ... [et al.] |
Pubbl/distr/stampa | Berlin, : Springer, 2014 |
Descrizione fisica | XV, 198 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020] |
Soggetto non controllato |
Epistemic logics
Modal logics Tableau method Temporal logics |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00104264 |
Berlin, : Springer, 2014 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Kripke’s worlds : an introduction to modal logics via tableaux / Olivier Gasquet ... [et al.] |
Edizione | [Berlin : Springer, 2014] |
Pubbl/distr/stampa | XV, 198 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020] |
ISBN | 8-3-7643-8503-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0104264 |
XV, 198 p., : ill. ; 24 cm | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Lezioni di logica matematica / Gabriele Lolli |
Autore | Lolli, Gabriele |
Pubbl/distr/stampa | Torino, : Boringhieri, 1978 |
Descrizione fisica | 203 p. : ill. ; 21 cm. |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020] |
ISBN | 978-88-339-5259-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNICAMPANIA-SUN0036209 |
Lolli, Gabriele
![]() |
||
Torino, : Boringhieri, 1978 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Lezioni di logica matematica / Gabriele Lolli |
Autore | Lolli, Gabriele |
Pubbl/distr/stampa | Torino, : Boringhieri, 1978 |
Descrizione fisica | 203 p. : ill. ; 21 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020] |
ISBN | 978-88-339-5259-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0036209 |
Lolli, Gabriele
![]() |
||
Torino, : Boringhieri, 1978 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Lezioni di logica matematica / Gabriele Lolli |
Autore | Lolli, Gabriele |
Pubbl/distr/stampa | Torino, : Boringhieri, 1978 |
Descrizione fisica | 203 p. : ill. ; 21 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020] |
ISBN | 978-88-339-5259-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00036209 |
Lolli, Gabriele
![]() |
||
Torino, : Boringhieri, 1978 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|