Bokus

S. S. Goncharov – författare

Visar alla böcker från författaren S. S. Goncharov. Handla med fri frakt och snabb leverans.

2 produkter

  1. Sergei S. Goncharov, S. S. Goncharov - Countable Boolean Algebras and Decidability, Inbunden. Tillgänglighet: Lägg i varukorg

    Countable Boolean Algebras and Decidability

    Av Sergei S. Goncharov, S. S. Goncharov

    Inbunden, 1997

    1643 kr

    Lägg i varukorg

    This book describes the latest Russian research covering the structure and algorithmic properties of Boolean algebras from the algebraic and model-theoretic points of view. A significantly revised version of the author's Countable Boolean Algebras (Nauka, Novosibirsk, 1989), the text presents new …

  2. DOWNEY R, S S Goncharov, R Downey, H Ono - MATHEMATICAL LOGIC IN ASIA - PROCEEDINGS OF THE 9TH ASIAN LOGIC CONFERENCE, Inbunden. Tillgänglighet: Lägg i varukorg

    MATHEMATICAL LOGIC IN ASIA - PROCEEDINGS OF THE 9TH ASIAN LOGIC CONFERENCE

    Av DOWNEY R, S S Goncharov m. fl.

    Inbunden, 2006

    2245 kr

    Lägg i varukorg

    This volume is devoted to the main areas of mathematical logic and applications to computer science. There are articles on weakly o-minimal theories, algorithmic complexity of relations, models within the computable model theory, hierarchies of randomness tests, computable numberings, and …