eBook, PDF

Larisa Maksimova on Implication, Interpolation, and Definability (eBook, PDF)

Beschreibung

Larisa Maksimova on Implication, Interpolation, and Definability (eBook, PDF)

Technische Details

• Geräte: PC
• ohne Kopierschutz
• Größe: 4.48MB

Barrierefreiheit

• Text-to-Speech

Autor

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

Produktdetails

• Verlag: Springer International Publishing
• Seitenzahl: 371
• Erscheinungstermin: 30. Januar 2018
• Englisch
• ISBN-13: 9783319699172
• Artikelnr.: 52942910