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.
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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-VAN00274887
Cintula, Petr  
Cham, : Springer, 2021
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0051323
Schoning, Uwe  
Boston, : Birkhäuser, 1989
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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]
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logic in Question Talks from the Annual Sorbonne Logic Workshop (2011-2019) / Jean-Yves Béziau ... [et al.] editors
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
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui