top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Introduction to Discrete Mathematics via Logic and Proof / Calvin Jongsma
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Introduzione alla logica formale / Gabriele Lolli
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Introduzione alla logica formale / Gabriele Lolli
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Introduzione alla logica formale / Gabriele Lolli
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Kripke’s worlds : an introduction to modal logics via tableaux / Olivier Gasquet ... [et al.]
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Kripke’s worlds : an introduction to modal logics via tableaux / Olivier Gasquet ... [et al.]
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Kripke’s worlds : an introduction to modal logics via tableaux / Olivier Gasquet ... [et al.]
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Lezioni di logica matematica / Gabriele Lolli
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Lezioni di logica matematica / Gabriele Lolli
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Lezioni di logica matematica / Gabriele Lolli
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui