• 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
    • हिंदी
    • Հայերէն
    • Українська
Advanced
  • Исследования по неклассическим...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Исследования по неклассическим логикам и формальным системам сборник статей

Исследования по неклассическим логикам и формальным системам, сборник статей

Bibliographic Details
Corporate Author: Академия наук СССР (АН СССР) Всесоюзный институт научной и технической информации (ВИНИТИ)
Other Authors: Михайлов А. И. Александр Иванович (340)
Published: Москва, Наука, 1983
Subjects:
множеств теория
неклассическая логика
формальные системы
синтаксические аспекты
семантика
аксиоматическая теория
модельная логика
многозначные логики
Format: Book
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=301218
  • Holdings
  • Description
  • Similar Items
  • Staff View

Similar Items

  • Исследования по неклассическим логикам 1V сов.-фин. коллоквиум [г. Телави, май 1985 г.]
    Published: (Москва, Наука, 1989)
  • Исследования по теории алгорифмов и математической логике сборник
    Published: (Москва, Наука, 1979)
  • Исследования по некласическим логикам и теории множеств
    Published: (Москва, Наука, 1979)
  • Генценовские системы для исчисления высказываний и аксиоматической арифметики учебное пособие
    by: Кипнис М. М. Михаил Маркович
    Published: (Челябинск, Изд-во ЧПИ, 1985)
  • Логическая тетрадь нерешенные вопросы математической логики (оперативный информационный материал)
    Published: (Новосибирск, Изд-во ИМ СО РАН, 1986)