• 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
  • Выразимость в исчислениях выск...
  • Erreferentzia bihurtu
  • SMS
  • Bidali
  • Imprimir
  • Erregistroa esportatu
    • Nora RefWorks
    • Nora EndNoteWeb
    • Nora EndNote
  • Permanent link
Esportazioa burutua — 
Выразимость в исчислениях высказываний

Выразимость в исчислениях высказываний

Xehetasun bibliografikoak
Egile nagusia: Раца М. Ф. Мефодий Федорович
Erakunde egilea: Академия наук Молдавской ССР (АН МССР) Институт математики с вычислительным центром (ИМсВЦ)
Beste egile batzuk: Тайманов А. Д. (редактор)
Hizkuntza:errusiera
Argitaratua: Кишинев, Штиинца, 1991
Gaiak:
математическая логика
интуиция
расширение
выразимость
модальные логики
Formatua: MixedMaterials Liburua
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=166540
  • Aleari buruzko argibideak
  • Deskribapena
  • Antzeko izenburuak
  • MARC erregistroa

Antzeko izenburuak

  • Лекции по математической логике и теории алгоритмов: учебное пособие; Ч. 2; Языки и исчисления
    nork: Верещагин Н. К
    Argitaratua: (Москва, МЦНМО, 2000)
  • Учебник логики со сборником задач
    nork: Гетманова А. Д. Александра Денисовна
    Argitaratua: (Москва, Кнорус, 2006)
  • Учебник логики со сборником задач
    nork: Гетманова А. Д. Александра Денисовна
    Argitaratua: (Москва, КноРус, 2011)
  • Логический вывод
    Argitaratua: (Москва, Наука, 1979)
  • Исследования по некласическим логикам и теории множеств
    Argitaratua: (Москва, Наука, 1979)