Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://www.mccme.ru/lifr/pers/shapirovsky.htm
Дата изменения: Wed Oct 4 13:56:50 2006 Дата индексирования: Tue Oct 2 11:51:18 2012 Кодировка: Поисковые слова: http www.mccme.ru |
Non-classical logics, logic in computer science.