unicat.nlb.by СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ
БИБЛИОТЕК БЕЛАРУСИ
История поисков Справка
 
Базовый поискРасширенный поискCловариГРНТИНовые поступления

   Запрос: a001="BY-NLB-ar2255776"
   Записи: 1 - 4 из 4 (стр. 1 из 1)

Сортировать по: 
Дата Автор Заглавие
2003 Драгалин, Альберт Григорьевич (математика, логика ; 1941—1998) Конструктивная теория доказательств и нестандартный анализ : сборник / А.Г.Драгалин
1995   Логические исследования = Logical investigations : [сборник статей / Российская академия наук, Институт философии]. — Вып. 3 / [Редкол.: В. А. Смирнов (отв. ред.) и др.]
2005 Саранцев, Геннадий Иванович (доктор педагогических наук ; 1938—2019) Обучение математическим доказательствам и опровержениям в школе / Г.И.Саранцев
2004 Трохимчук, Петро Павлович (кандыдат фізіка-матэматычных навук) Теория виведення в нестандартних логіках : методичні рекомендаціï / Петро Трохимчук ; Міжнародний науково-технічний університет, Луцький біотехнічний інститут, Кафедра електронних апаратів
Записей на стр.