Ofer Arieli – författare
Visar alla böcker från författaren Ofer Arieli. Handla med fri frakt och snabb leverans.
4 produkter
Theory of Effective Propositional Paraconsistent Logics
Av Arnon Avron, Ofer Arieli m. fl.
Häftad, 2018
298 kr
Lägg i varukorg
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
Inbunden, 2021
1534 kr
Lägg i varukorg
This book is a collection of contributions honouring Arnon Avron’s seminal work on the semantics and proof theory of non-classical logics. It includes presentations of advanced work by some of the most esteemed scholars working on semantic and proof-theoretical aspects of computer science logic. …
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
E-bok, 2021
1906 kr
Lägg i varukorg
This book is a collection of contributions honouring Arnon Avron’s seminal work on the semantics and proof theory of non-classical logics. It includes presentations of advanced work by some of the most esteemed scholars working on semantic and proof-theoretical aspects of computer science logic. …
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
Häftad, 2022
1534 kr
Lägg i varukorg
This book is a collection of contributions honouring Arnon Avron’s seminal work on the semantics and proof theory of non-classical logics. It includes presentations of advanced work by some of the most esteemed scholars working on semantic and proof-theoretical aspects of computer science logic. …
