Larisa Maksimova on Implication, Interpolation, and Definability (Outstanding Contributions to Logic, 15)

ISBN 10: 3319888625 / ISBN 13: 9783319888620

Published by Springer, 2019

About this Item

Seller Inventory # I-9783319888620

Bibliographic Details

• Title: Larisa Maksimova on Implication, Interpolation, and Definability (Outstanding Contributions to Logic, 15)
• Publisher: Springer
• Publication Date: 2019
• Language: English
• ISBN 10: 3319888625
• ISBN 13: 9783319888620
• Binding: Soft cover
• Condition: New

About this title

Synopsis

About the Author

Sergei Odintsov is a leading researcher of Sobolev Institute of Mathematics (Novosibirsk, Russian Federation). He is known for his work in algorithm theory and non-classical logic, including paraconsistent logics, constructive logics, semantics of logic programs. Moreover, he is an associated editor of the journal Studia Logica (Springer), a  member of the editorial boards of the journal Logica Universalis (Birkhauser) and of the book series Trends in Logic (Springer).