• English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
Aurreratua
  • VII Всесоюзная конференция по...
  • Erreferentzia bihurtu
  • SMS
  • Bidali
  • Imprimir
  • Erregistroa esportatu
    • Nora RefWorks
    • Nora EndNoteWeb
    • Nora EndNote
  • Permanent link
VII Всесоюзная конференция по математической логике, посвященная 75-летию академика А. И. Мальцева,  5-7 сентября 1984 г., г. Новосибирск: тезисы докладов

VII Всесоюзная конференция по математической логике, посвященная 75-летию академика А. И. Мальцева, 5-7 сентября 1984 г., г. Новосибирск: тезисы докладов

Xehetasun bibliografikoak
Egile korporatiboa: Академия наук СССР (АН СССР) Сибирское отделение (СО) Институт математики (570), Всесоюзная конференция по математической логике
Beste egile batzuk: Ершов Ю. Л. (редактор)
Hizkuntza:errusiera
Argitaratua: Новосибирск, Изд-во АН СССР, 1984
Gaiak:
Математическая логика
инверсные полугруппы
эквивалентность
доказуемость
множества
диаграммы
конгруэнции
предикаты
многообразия
аксиоматика
тьюринговые сводимости
операторы
гильбертовы пространства
тождества
проблемы
решение
уравнения
формулы
булевы алгебры
теория унара
принцип Маркова
абелевы группы
алгебраические системы
конференции
Formatua: Liburua
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=281777
  • Aleari buruzko argibideak
  • Deskribapena
  • Antzeko izenburuak
  • MARC erregistroa

Antzeko izenburuak

  • Элементы математической логики
    nork: Марков А. А. Андрей Андреевич
    Argitaratua: (Москва, Изд-во МГУ, 1984)
  • Ассоциативные действия: межвузовский сборник научных трудов
    Argitaratua: (Ленинград, Изд-во ЛГПИ, 1983)
  • Применение ЭВМ для решения задач математической логики: учебное пособие
    nork: Мелихов А. Н. Аскольд Николаевич
    Argitaratua: (Таганрог, Изд-воТРТИ, 1988)
  • Алгоритмы и формальные системы: учебное пособие
    nork: Лисовик Л. П. Леонид Петрович
    Argitaratua: (Киев, Изд-во КГУ, 1981)
  • Всесоюзная конференция по прикладной логике, Новосибирск, 22-24 октября 1985 г.: тезисы докладов
    Argitaratua: (Новосибирск, Изд-во ИМ, 1985)