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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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-VAN00274887 |
Cintula, Petr
![]() |
||
Cham, : Springer, 2021 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0051323 |
Schoning, Uwe
![]() |
||
Boston, : Birkhäuser, 1989 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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]
03Bxx - General logic [MSC 2020] 68N17 - Logic programming [MSC 2020] |
ISBN | 978-08-17-63453-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00051323 |
Schoning, Uwe
![]() |
||
Boston, : Birkhäuser, 1989 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logic in Question Talks from the Annual Sorbonne Logic Workshop (2011-2019) / Jean-Yves Béziau ... [et al.] editors |
Pubbl/distr/stampa | Cham, : Birkhäuser, : Springer, 2022 |
Descrizione fisica | xiii, 750 p. : ill. ; 24 cm |
Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
01A25 - History of Chinese mathematics [MSC 2020] 01A55 - History of mathematics in the 19th century [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03Bxx - General logic [MSC 2020] |
Soggetto non controllato |
Boolean logic
History of logic Logical reasoning Philosophical Logic Philosophical thinking |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00276608 |
Cham, : Birkhäuser, : Springer, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|