Исследования по формализованным языкам и неклассическим логикам
Бочвар Д.А. (ред.)
Сборник продолжает цикл сборников:
(1972) Исследования по математической лингвистике, математической логике и информационным языкам
(1974) Исследования по формализованным языкам и неклассическим логикам
(1976) Исследования по теории множеств и неклассическим логикам
(1979) Исследования по неклассическим логикам и теории множеств
(1983) Исследования по неклассическим логикам и формальным системам
Сборник содержит статьи по формальным системам без типовых иерархий, основаниям математической логики и теории множеств. Тематика статей сборника включает исследования некоторых неклассических логик и их применения к проблемам теории множеств и основ интуиционистского анализа, а также построения языков, основанных на некоторых представлениях рекурсивных функций.
(1972) Исследования по математической лингвистике, математической логике и информационным языкам
(1974) Исследования по формализованным языкам и неклассическим логикам
(1976) Исследования по теории множеств и неклассическим логикам
(1979) Исследования по неклассическим логикам и теории множеств
(1983) Исследования по неклассическим логикам и формальным системам
Сборник содержит статьи по формальным системам без типовых иерархий, основаниям математической логики и теории множеств. Тематика статей сборника включает исследования некоторых неклассических логик и их применения к проблемам теории множеств и основ интуиционистского анализа, а также построения языков, основанных на некоторых представлениях рекурсивных функций.
Kategori:
Tahun:
1974
Penerbit:
Наука
Bahasa:
russian
Halaman:
277
File:
DJVU, 3.24 MB
IPFS:
,
russian, 1974
Litres
Ingin menambahkan toko buku? Hubungi kami melalui support@z-lib.fm
Konversi file
Lebih banyak hasil pencarian
Manfaat yang lain 
![Таванец П.В. (ред.) — Исследование логических систем [сборник статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/b978416db4eb48a715030a076a584c13538f059725992fad72f8f04e4f467897.jpg)
Istilah kunci
Daftar buku terkait
