S. G. · S S · S S Goncharov · Sergei Goncharov
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Constructive Models | 978-0-306-11066-5 (0-306-11066-0) | 2000 | Yuri L. Ershov |
| Countable Boolean Algebras and Decidability | 978-0-306-11061-0 (0-306-11061-X) | 1997 | |
| Mathematical Problems from Applied Logic I: Logics for the XXIst Century | 978-0-387-28688-4 (0-387-28688-8) | 2005 | Dov M. Gabbay · Michael Zakharyaschev |