Articles liés à Larisa Maksimova on Implication, Interpolation, and...

Larisa Maksimova on Implication, Interpolation, and Definability - Couverture souple

Livre 13 sur 29: Outstanding Contributions to Logic
 
9783319888620: Larisa Maksimova on Implication, Interpolation, and Definability

Synopsis


Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l'auteur

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).

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9783319699165: Larisa Maksimova on Implication, Interpolation, and Definability

Edition présentée

ISBN 10 :  3319699164 ISBN 13 :  9783319699165
Editeur : Springer International Publishin..., 2018
Couverture rigide