Instructor
| Phone: | (3812) 66-50-18 | (3812) 23-67-39 |
| E-mail: | macarov@univer.omsk.su | makarov@iitam.omsk.net.ru |
| Mail: | Chair of Logic and Logical Programming, Omsk State University, Prospekt Mira 55a, Omsk, 644077 RUSSIA |
Institute Informational Technologies and Applied Mathematics, Pevtsova, 13, Omsk, 644099 RUSSIA |
| Home address: |
Prospekt Mira 163-29 Omsk, 644085 RUSSIA |