Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> Математическая логика
Печать списка
--> Математическая логика
Рубрика
- Название:
- Математическая логика
Печать списка
Связанные описания:
Книга
III Всесоюзная конференция по математической логике (Новосибирск, 23-27 июня 1974 г.): Тезисы докладов
Институт математики СО АН СССР, 1974 г.
ISBN отсутствует
III Всесоюзная конференция по математической логике (Новосибирск, 23-27 июня 1974 г.): Тезисы докладов
Институт математики СО АН СССР, 1974 г.
ISBN отсутствует
На полку 
Книга
Spisani, F.
Implication, endometry, universe of discourse
Implicazione, endometria, universo del discorso
International logic review press, 1977 г.
ISBN отсутствует
Spisani, F.
Implication, endometry, universe of discourse
Implicazione, endometria, universo del discorso
International logic review press, 1977 г.
ISBN отсутствует
Книга
International Logic Review. N.12- Dicembre 1975
Rassegna Internazionale Di Logica
Centro Superiore di Logica e Scienze Comparate, 1975 г.
ISBN отсутствует
International Logic Review. N.12- Dicembre 1975
Rassegna Internazionale Di Logica
Centro Superiore di Logica e Scienze Comparate, 1975 г.
ISBN отсутствует
Книга
International Logic Review. N.16 - Dicembre 1977
Rassegna Internazionale Di Logica
Centro Superiore di Logica e Scienze Comparate, 1977 г.
ISBN отсутствует
International Logic Review. N.16 - Dicembre 1977
Rassegna Internazionale Di Logica
Centro Superiore di Logica e Scienze Comparate, 1977 г.
ISBN отсутствует
Книга
International Logic Review. Nn.17-18 - Giugno-Dicembre 1978 (vol. IX, nn. 1-2)
Rassegna Internazionale Di Logica
Centro Superiore di Logica e Scienze Comparate, 1978 г.
ISBN отсутствует
International Logic Review. Nn.17-18 - Giugno-Dicembre 1978 (vol. IX, nn. 1-2)
Rassegna Internazionale Di Logica
Centro Superiore di Logica e Scienze Comparate, 1978 г.
ISBN отсутствует
Книга
Sesic, B. V.
Logic of change
Centro Superiore di Logica e Scienze Comparate, 1972 г.
ISBN отсутствует
Sesic, B. V.
Logic of change
Centro Superiore di Logica e Scienze Comparate, 1972 г.
ISBN отсутствует
Книга
V Всесоюзная конференция по математической логике (Новосибирск, 27-29 ноября 1979 г.): Тезисы докладов
Институт математики СО АН СССР, 1979 г.
ISBN отсутствует
V Всесоюзная конференция по математической логике (Новосибирск, 27-29 ноября 1979 г.): Тезисы докладов
Институт математики СО АН СССР, 1979 г.
ISBN отсутствует
Книга
VI Всесоюзная конференция по математической логике (Тбилиси, 30 ноября - 2 декабря 1982 г.): Тезисы докладов
Тбилисский университет, 1982 г.
ISBN отсутствует
VI Всесоюзная конференция по математической логике (Тбилиси, 30 ноября - 2 декабря 1982 г.): Тезисы докладов
Тбилисский университет, 1982 г.
ISBN отсутствует
Книга
Мендельсон, Э.
Введение в математическую логику
Introduction to mathematical logic
Наука, 1971 г.
ISBN отсутствует
Мендельсон, Э.
Введение в математическую логику
Introduction to mathematical logic
Наука, 1971 г.
ISBN отсутствует
Книга
Чёрч, А.
Введение в математическую логику . Т. 1
Издательство иностранной литературы, 1960 г.
ISBN отсутствует
Чёрч, А.
Введение в математическую логику . Т. 1
Издательство иностранной литературы, 1960 г.
ISBN отсутствует
Книга
Герчиу, В. Я.
Вопросы финитной аппроксимируемости суперинтуиционистских логик высказываний: Автореферат диссертации на соискание ученой степени кандидата физико-математический наук
Институт математики СО АН СССР, 1972 г.
ISBN отсутствует
Герчиу, В. Я.
Вопросы финитной аппроксимируемости суперинтуиционистских логик высказываний: Автореферат диссертации на соискание ученой степени кандидата физико-математический наук
Институт математики СО АН СССР, 1972 г.
ISBN отсутствует
Книга
Всесоюзный симпозиум по математической логике (Алма-Ата, 2-7 июня 1969 г.): Тезисы докладов
1969 г.
ISBN отсутствует
Всесоюзный симпозиум по математической логике (Алма-Ата, 2-7 июня 1969 г.): Тезисы докладов
1969 г.
ISBN отсутствует
Книга
Лакатос, И.
Доказательства и опровержения: Как доказываются теоремы
Наука, 1967 г.
ISBN отсутствует
Лакатос, И.
Доказательства и опровержения: Как доказываются теоремы
Наука, 1967 г.
ISBN отсутствует
Книга
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1975 г.
ISBN отсутствует
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1975 г.
ISBN отсутствует
Книга
Линдон, Р.
Заметки по логике
Notes on logic
ISBN отсутствует
Линдон, Р.
Заметки по логике
Notes on logic
Серия: Современная математика
Мир, 1968 г.ISBN отсутствует
Книга
Исследования по конструктивной математике и математической логике. I: сборник работ
Вычислительный центр АН СССР, 1967 г.
ISBN отсутствует
Исследования по конструктивной математике и математической логике. I: сборник работ
Вычислительный центр АН СССР, 1967 г.
ISBN отсутствует
Книга
Исследования по конструктивной математике и математической логике. IV: Сборник работ
Наука - Ленинградское отделение, 1971 г.
ISBN отсутствует
Исследования по конструктивной математике и математической логике. IV: Сборник работ
Наука - Ленинградское отделение, 1971 г.
ISBN отсутствует
Книга
Исследования по конструктивной математике и математической логике. VII: Сборник работ
Наука - Ленинградское отделение, 1976 г.
ISBN отсутствует
Исследования по конструктивной математике и математической логике. VII: Сборник работ
Наука - Ленинградское отделение, 1976 г.
ISBN отсутствует
Книга
Исследования по конструктивной математике и математической логике. VIII: Сборник работ
Наука - Ленинградское отделение, 1979 г.
ISBN отсутствует
Исследования по конструктивной математике и математической логике. VIII: Сборник работ
Наука - Ленинградское отделение, 1979 г.
ISBN отсутствует
Книга
Исследования по теории алгорифмов и математической логике. Т. 2: сборник работ
Вычислительный центр АН СССР, 1976 г.
ISBN отсутствует
Исследования по теории алгорифмов и математической логике. Т. 2: сборник работ
Вычислительный центр АН СССР, 1976 г.
ISBN отсутствует
Книга
Исследования по формализованным языкам и неклассическим логикам: сборник статей
Наука, 1974 г.
ISBN отсутствует
Исследования по формализованным языкам и неклассическим логикам: сборник статей
Наука, 1974 г.
ISBN отсутствует
Книга
Новиков, П. С.
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
Новиков, П. С.
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
Книга
Гудстейн, Р. Л.
Математическая логика
Mathematical logic
Издательство иностранной литературы, 1961 г.
ISBN отсутствует
Гудстейн, Р. Л.
Математическая логика
Mathematical logic
Издательство иностранной литературы, 1961 г.
ISBN отсутствует