Документ взят из кэша поисковой машины. Адрес оригинального документа : http://istina.msu.ru/
Дата изменения: Unknown
Дата индексирования: Sat Apr 9 22:11:20 2016
Кодировка: UTF-8
Главная | ИСТИНА - Интеллектуальная Система Тематического Исследования НАучно-технической информации

Добро пожаловать в систему ИСТИНА!

ИСТИНА предназначена для учета и анализа научной деятельности сотрудников организаций.

Добавьте свои публикации в ИСТИНУ, и для Вас будет создана ваша страница со списком всех ваших работ (пример).

Для работы в системе, пожалуйста, зарегистрируйтесь или войдите.

Ознакомьтесь с инструкцией по работе с системой.


МГУ имени М.В. Ломоносова


Новости системы

Вы можете подписаться на получение новостей по электронной почте.

Последние добавленные работы (за месяц)


сегодня 2001 Подструктурные логики: гильбертовский подход Карпенко Александр Степанович
сегодня 1993 Ян Лукасевич ? детерминизм и логика Карпенко Александр Степанович
сегодня 1995 Штрих Шеффера для простых чисел Карпенко Александр Степанович
сегодня 1997 Учитель Карпенко Александр Степанович
сегодня 1998 Некоторые логические идеи В.А. Смирнова Карпенко Александр Степанович
сегодня 1993 Матричная логика без неподвижных точек Карпенко Александр Степанович
сегодня 2000 Логика на рубеже тысячелетий Карпенко Александр Степанович
сегодня 1997 Классификация пропозициональных логик Карпенко Александр Степанович
сегодня 2014 Раздел "Биология" Олимпиада школьников "Ломоносов". Учебно-методическое пособие. // Коллектив авторов под редакцией В.А. Садовничего [Электронный ресурс] 1 электрон. опт. диск (CD-ROM); 12 см Асеев В.В., Белякова Г.А., Богомолова Е.В., Лабунская Е.А., Мартьянов А.А., Мурашов В.В., Ростовцева Е.Л., Чуб В.В.
сегодня 1999 Импликации следования, строгая, релевантная, интуиционистская и классическая и их взаимоотношения Карпенко Александр Степанович