Поиск :
Личный кабинет :
Электронный каталог: Тимофеева, Ирина Леонидовна - Принцип индукции для натуральных выводов в модальных исчислениях
Тимофеева, Ирина Леонидовна - Принцип индукции для натуральных выводов в модальных исчислениях
Книга (аналит. описание)
Автор: Тимофеева, Ирина Леонидовна
Актуальные проблемы математики, информатики, физики и методики их преподавания: Принцип индукции для натуральных выводов в модальных исчислениях
б.г.
ISBN отсутствует
Автор: Тимофеева, Ирина Леонидовна
Актуальные проблемы математики, информатики, физики и методики их преподавания: Принцип индукции для натуральных выводов в модальных исчислениях
б.г.
ISBN отсутствует
Книга (аналит. описание)
Тимофеева, Ирина Леонидовна.
Принцип индукции для натуральных выводов в модальных исчислениях / И. Л. Тимофеева // Актуальные проблемы математики, информатики, физики и методики их преподавания : Юбилейн. сб. : 70 лет / Моск. пед. гос. ун-т ; Гл. ред.: В. Л. Матросов . - Москва : МПГУ, 2004 . - С. 334-338 . - Библиогр.: с. 338 . - На рус. яз.
2004
основной = аналитика дистант
Тимофеева, Ирина Леонидовна.
Принцип индукции для натуральных выводов в модальных исчислениях / И. Л. Тимофеева // Актуальные проблемы математики, информатики, физики и методики их преподавания : Юбилейн. сб. : 70 лет / Моск. пед. гос. ун-т ; Гл. ред.: В. Л. Матросов . - Москва : МПГУ, 2004 . - С. 334-338 . - Библиогр.: с. 338 . - На рус. яз.
2004
основной = аналитика дистант