Поиск :
Личный кабинет :
Электронный каталог: Яворский, Р. Э. - О пренексном фрагменте логики доказуемости с кванторами по доказательствам
Яворский, Р. Э. - О пренексном фрагменте логики доказуемости с кванторами по доказательствам
Книга (аналит. описание)
Автор: Яворский, Р. Э.
Т. 242: Математическая логика и алгебра.: О пренексном фрагменте логики доказуемости с кванторами по доказательствам
б.г.
ISBN отсутствует
Автор: Яворский, Р. Э.
Т. 242: Математическая логика и алгебра.: О пренексном фрагменте логики доказуемости с кванторами по доказательствам
б.г.
ISBN отсутствует
На полку
Книга (аналит. описание)
Яворский, Р. Э.
О пренексном фрагменте логики доказуемости с кванторами по доказательствам / Р. Э. Яворский // Математический институт им. В.А.Стеклова. Труды . – М. : Наука, 1935. - Т. 242: Математическая логика и алгебра. / ред. С. И. Адян . – 2003 . – С. 123-135 .
Яворский, Р. Э.
О пренексном фрагменте логики доказуемости с кванторами по доказательствам / Р. Э. Яворский // Математический институт им. В.А.Стеклова. Труды . – М. : Наука, 1935. - Т. 242: Математическая логика и алгебра. / ред. С. И. Адян . – 2003 . – С. 123-135 .
Привязано к:
Доступно
1 из 1