• 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
    • हिंदी
    • Հայերէն
    • Українська
Gelişmiş
  • Метаматематика элементарной ма...
  • Alıntıla
  • Telefona gönder
  • E-posta Gönder
  • Yazdır
  • Kaydı İhraç Et
    • İhraç Et RefWorks
    • İhraç Et EndNoteWeb
    • İhraç Et EndNote
  • Kalıcı bağlantı
エクスポート完了 — 
Метаматематика элементарной математики: пер. с нем.

Метаматематика элементарной математики: пер. с нем.

Detaylı Bibliyografya
Yazar: Энгелер Э. Эрвин
Dil:Rusça
Baskı/Yayın Bilgisi: Москва, Мир, 1987
Konular:
Математическая логика
континуум
язык
вещественные числа
аксиома выбора
геометрия
пространство
аксиоматизация
геометрические построения
алгоритмика
комбинаторные алгебры
ламбда-исчисление
Materyal Türü: Kitap
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=253521
  • Erişim Bilgileri
  • Diğer Bilgiler
  • Benzer Materyaller
  • MARC Görünümü

Benzer Materyaller

  • Ламбда-исчисление. Его синтаксис и семантика: пер. с англ.
    Yazar:: Барендрегт Х. П. Хендрик Питер
    Baskı/Yayın Bilgisi: (Москва, Мир, 1985)
  • Введение в математическую логику
    Yazar:: Зюзьков В. М.
    Baskı/Yayın Bilgisi: (Санкт-Петербург, Лань, 2022)
  • Математическая логика: пер. с англ.
    Yazar:: Гудстейн Р. Л.
    Baskı/Yayın Bilgisi: (Москва, Изд-во иностранной литературы, 1961)
  • Теория моделей и ее применения: сборник научных трудов
    Baskı/Yayın Bilgisi: (Новосибирск, Наука, 1988)
  • Элементы математической логики
    Yazar:: Марков А. А. Андрей Андреевич
    Baskı/Yayın Bilgisi: (Москва, Изд-во МГУ, 1984)