Математическая логика

Kitob mualliflari Дж. Шенфилд,

Учебное пособие содержит "Природа математической логики", "Теория первого порядка", "Теоремы и теориях первого порядка", "Проблема характеризации", "Теория моделей", и др. В настощее время интерес к математической логике и теории алгоритмов непрерывно растет. Все большее число высших учебных заведений включает в обязательную программу обучения курсы математической логики, теории алгоритмов или их фрагменты.

Bilimlar sohasi: | Matematika |
UDK 519.9
Kitob nashriyoti nomi: Наука
Kitob nashr qilingan shahar: Москва
ISBN:
Kitob nashr qilingan yili: 1975 Yil
Betlar Soni: 528
Kitob tashqi havolasi (to‘liq matni): Yuklab olish
To‘liq matnni ko‘chirib olish uchun kutubxonaga a'zo bo‘lish shart
Hujjat turi: Va boshqa
Nashr tili: Ruscha
Kataloglashtirish manbai: Rus kiril
Hujjat tipi: Bosma shaklda
Kirish huquq turi: OCHIQ KIRISH