Обязательный спецкурс кафедры математической логики и...

Main
Обязательный спецкурс кафедры...

Обязательный спецкурс кафедры математической логики и теории алгоритмов.

Беклемишев Л.Д. и др.

0 / 0

Bu kitabı ne kadar beğendiniz?

İndirilen dosyanın kalitesi nedir?

Kalitesini değerlendirmek için kitabı indirin

İndirilen dosyaların kalitesi nedir?

Yıl:

2016

Dil:

russian

Dosya:

PDF, 709 KB

IPFS:

,

russian, 2016

Online Oku

'e dönüştürme devam ediyor

dosyasına dönüştürme başarısız oldu

İlginizi çekebilir

Манин Ю.И. — Доказуемое и недоказуемое

Плиско В.Е., Хаханян В.Х. — Интуиционистская логика

Коротков М.А.;Котов В.М.;Степанов Е.О. — Математическая логика и основы теории алгоритмов

Казимиров Н.И. — Введение в аксиоматическую теорию множеств

Фейс Р. — Модальная логика

Кусраев А.Г. — Элементы булевозначного анализа.

Барвайс Дж. (ред.) — Справочная книга по математической логике. В 4-х частях. Часть 4. Теория доказательств и конструктивная математика

Барвайс Дж. (ред.) — Справочная книга по математической логике. В 4-х частях. Часть 2. Теория множеств

Столл Р.Р. — Множества. Логика. Аксиоматические теории

Столл Р.Р. — Множества. Логика. Аксиоматические теории

Гордон Е.И. — Лекции по математической логике и теории алгоритмов. Часть 1

Кусраев А. Г. — Элементы булевозначного анализа

Мендельсон Эллиот — Введение в математическую логику

Михайлов А.И. (ред.) — Исследования по неклассическим логикам и теории множеств

Михайлов А.И. (ред.) — Исследования по неклассическим логикам и формальным системам

Вопенка П. — Математика в альтернативной теории множеств

Мендельсон Эллиот — Введение в математическую логику

Михайлов А.И. (ред.) — Исследования по неклассическим логикам и теории множеств

Михайлов А.И. (ред.) — Исследования по неклассическим логикам и формальным системам

Бочвар Д.А., Гришин В.Н. (ред.) — Исследования по теории множеств и неклассическим логикам

Коэн П.Дж. (Cohen P.J.) — Теория множеств и континуум-гипотеза

Новиков П.С. — Конструктивная математическая логика с точки зрения классической

Мендельсон Э. (Mendelson E.) — Введение в математическую логику

Дж. Барвайс (ред.) — Справочная книга по математической логике В 4-х частях. Теория доказательств и конструктивная математика.

Манин Ю.И. — Доказуемое и недоказуемое

Барвайс Дж. — Справочная книга по математической логике: В 4-х частях. Ч. II. Теория множеств

Барвайс Дж. — Справочная книга по математической логике: В 4-х частях. Ч. IV. Теория доказательств и конструктивная математика

Новиков П.С. — Конструктивная математическая логика с точки зрения классической

Йех Т. — Теория множеств и метод форсинга

Мостовский А. (Mostowski) — Конструктивные множества и их приложения

Бочвар Д.А., Гришин В.Н. (ред.) — Исследования по теории множеств и неклассическим логикам

Коэн П.Дж. — Теория множеств и континуум-гипотеза

Yuri Ivanovich Manin, Юрий Иванович Манин — Лекции по математической логике

Столл Р.Р. — Множества. Логика. Аксиоматические теории

Фейс Р. — Модальная логика