Skip to product information
Larisa Maksimova on Implication, Interpolation, and Definability

Larisa Maksimova on Implication, Interpolation, and Definability

Sale price  $49.49 Regular price  $54.99

Reliable shipping

Flexible returns

Outstanding Contributions to Logic

Larisa Maksimova on Implication, Interpolation, and Definability

Sergei Odintsov

Philosophy / Logic


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


Publication Date: 12 February 2018
Publisher: Springer International Publishing
Imprint: Springer
ISBN-13: 9783319699165
Format: Hardback
Page Count: 371

You may also like