検索結果

  • 検索結果 1 - 2 結果 / 2
結果の絞り込み
  1. 1

    Логические вопросы теории типов данных сборник научных трудов

    出版事項 Новосибирск, Изд-во Ин-та математики СО АН СССР, 1986
    図書
  2. 2

    Проблема обоснования в логике и методологии науки 著者: Конверский А. Е. Анатолий Евгеньевич

    出版事項 Киев, Вища школа, 1985
    図書