Télécharger le livre :  Samson Abramsky on Logic and Structure in Computer Science and Beyond
Ajouter à ma liste d'envies
Samson Abramsky’s wide-ranging contributions to logical and structural aspects of Computer Science have had a major influence on the field. This book is a rich collection of papers, inspired by and extending Abramsky’s work. It contains both survey material and new...

Editeur : Springer
Parution : 2023-08-01
Collection : Outstanding Contributions to Logic
PDF, ePub

168,79
Télécharger le livre :  Nonclassical Logics and Their Applications
Ajouter à ma liste d'envies
This edited book focuses on non-classical logics and their applications, highlighting the rapid advances and the new perspectives that are emerging in this area. Non-classical logics are logical formalisms that violate or go beyond classical logic laws, and their...

Editeur : Springer
Parution : 2020-01-31
Collection : Logic in Asia: Studia Logica Library
PDF, ePub

94,94