Larisa Maksimova – författare
Visar alla böcker från författaren Larisa Maksimova. Handla med fri frakt och snabb leverans.
4 produkter
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
Av Igor Lavrov, Larisa Maksimova m. fl.
Inbunden, 2003
1094 kr
Lägg i varukorg
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. Lavrov & L. Maksimova is an English translation of the fourth edition of the most popular student problem book in mathematical logic in Russian. It covers major classical topics in proof theory and the semantics of …
Interpolation and Definability
Modal and Intuitionistic Logics
Av Dov M. Gabbay, Larisa Maksimova
Inbunden, 2005
3773 kr
Lägg i varukorg
This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural …
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
Av Igor Lavrov, Larisa Maksimova m. fl.
Häftad, 2012
1094 kr
Lägg i varukorg
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. Lavrov & L. Maksimova is an English translation of the fourth edition of the most popular student problem book in mathematical logic in Russian. It covers major classical topics in proof theory and the semantics of …
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
Av Larisa Maksimova, Igor Lavrov m. fl.
E-bok, 2012
1459 kr
Lägg i varukorg
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. Lavrov & L. Maksimova is an English translation of the fourth edition of the most popular student problem book in mathematical logic in Russian. It covers major classical topics in proof theory and the semantics of …
