9th Asian Logic Conference, Novosibirsk, Russia, 16--19 August 2005. Goncharov, S.S., Morozov, A.S., Odintsov, S.P. (2005) Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]