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.
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
Logic and computation : interactive proof with Cambridge LCF / Lawrence C. Paulson
| Logic and computation : interactive proof with Cambridge LCF / Lawrence C. Paulson |
| Autore | Paulson, Lawrence C. |
| Pubbl/distr/stampa | Cambridge [etc.], : Cambridge university, 1987 |
| Descrizione fisica | XIII, 302 p. ; 26 cm. |
| Soggetto topico |
68Qxx - Theory of computing [MSC 2020]
68Txx - Artificial intelligence [MSC 2020] 03Bxx - General logic [MSC 2020] |
| ISBN | 05-213-9560-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0063390 |
|
Paulson, Lawrence C.
|
||
| Cambridge [etc.], : Cambridge university, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic and computation : proceedings of a workshop held at Carnegie Mellon university, June 30-July 2, 1987 / Wilfried Sieg editor
| Logic and computation : proceedings of a workshop held at Carnegie Mellon university, June 30-July 2, 1987 / Wilfried Sieg editor |
| Autore | Sieg, Wilfried |
| Pubbl/distr/stampa | Providence, : American mathematical society, 1990 |
| Descrizione fisica | XIV, 297 p. ; 26 cm. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03D15 - Complexity of computation [MSC 2020] 03Bxx - General logic [MSC 2020] |
| ISBN | 08-218-5110-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0049964 |
|
Sieg, Wilfried
|
||
| Providence, : American mathematical society, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic and computation : proceedings of a workshop held at Carnegie Mellon university, June 30-July 2, 1987 / Wilfried Sieg editor
| Logic and computation : proceedings of a workshop held at Carnegie Mellon university, June 30-July 2, 1987 / Wilfried Sieg editor |
| Autore | Sieg, Wilfried |
| Pubbl/distr/stampa | Providence, : American mathematical society, 1990 |
| Descrizione fisica | XIV, 297 p. ; 26 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03D15 - Complexity of computation [MSC 2020] 03Bxx - General logic [MSC 2020] |
| ISBN | 08-218-5110-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0049964 |
|
Sieg, Wilfried
|
||
| Providence, : American mathematical society, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic and computation : proceedings of a workshop held at Carnegie Mellon university, June 30-July 2, 1987 / Wilfried Sieg editor
| Logic and computation : proceedings of a workshop held at Carnegie Mellon university, June 30-July 2, 1987 / Wilfried Sieg editor |
| Autore | Sieg, Wilfried |
| Pubbl/distr/stampa | Providence, : American mathematical society, 1990 |
| Descrizione fisica | XIV, 297 p. ; 26 cm |
| Soggetto topico |
03Bxx - General logic [MSC 2020]
03D15 - Complexity of computation [MSC 2020] 68-XX - Computer science [MSC 2020] |
| ISBN | 08-218-5110-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00049964 |
|
Sieg, Wilfried
|
||
| Providence, : American mathematical society, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic and Implication : An Introduction to the General Algebraic Study of Non-classical Logics / Petr Cintula, Carles Noguera
| Logic and Implication : An Introduction to the General Algebraic Study of Non-classical Logics / Petr Cintula, Carles Noguera |
| Autore | Cintula, Petr |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | xxii, 465 p. : ill. ; 24 cm |
| Altri autori (Persone) | Noguera, Carles |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020] |
| Soggetto non controllato |
Abstract algebraic logic
Algebraic Logic Algebraic Semantics Completeness theorems First-Order Predicate Logics Generalized Disjunctions Implication and disjunction in logics Logical Connectives Logical Matrices Logics and their algebraic semantics Non-classical logics Predicate logic Propositional logic Semilinear Logics Substructural Logics Weakly Implicative Logics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0274887 |
|
Cintula, Petr
|
||
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic and Implication : An Introduction to the General Algebraic Study of Non-classical Logics / Petr Cintula, Carles Noguera
| Logic and Implication : An Introduction to the General Algebraic Study of Non-classical Logics / Petr Cintula, Carles Noguera |
| Autore | Cintula, Petr |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | xxii, 465 p. : ill. ; 24 cm |
| Altri autori (Persone) | Noguera, Carles |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020] |
| Soggetto non controllato |
Abstract algebraic logic
Algebraic Logic Algebraic Semantics Completeness theorems First-Order Predicate Logics Generalized Disjunctions Implication and disjunction in logics Logical Connectives Logical Matrices Logics and their algebraic semantics Non-classical logic Predicate logic Propositional logic Semilinear Logics Substructural Logics Weakly Implicative Logics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00274887 |
|
Cintula, Petr
|
||
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic for computer scientists / Uwe Schoning
| Logic for computer scientists / Uwe Schoning |
| Autore | Schoning, Uwe |
| Pubbl/distr/stampa | Boston, : Birkhäuser, 1989 |
| Descrizione fisica | 166 p. : ill. ; 24 cm. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
68N17 - Logic programming [MSC 2020] 03Bxx - General logic [MSC 2020] |
| ISBN |
978-08-17-63453-7
37-643-3453-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0051323 |
|
Schoning, Uwe
|
||
| Boston, : Birkhäuser, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
