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