везде Расширенный поиск
книги Наука, техника, медицина Естественные науки Точные науки Математика Научные издания Теория вероятностей

Frederic P. Miller, Agnes F. Vandome, John McBrewster

Intermediate Logic

Код 952601

Бумажная книга

Нет в продаже

Сообщить о появлении

Аннотация к книге "Intermediate Logic"

In mathematical logic, a superintuitionistic logic is a propositional logic extending intuitionistic logic. Classical logic is the strongest consistent superintuitionistic logic. Thus consistent superintuitionistic logics are called intermediate logics (the logics are intermediate between intuitionistic logic and classical logic). Specifically, a superintuitionistic logic is a set L of propositional formulas in a countable set of variables pi satisfying the following properties: all axioms of...

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-6-1307-5093-0
Объём: 116 страниц
Масса: 196 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Вместе с этой книгой покупают

-20%
Английский язык. Тренажер по чтению. Буквы и звуки
Английский язык. Тренажер по чтению. Буквы и звуки бумажная книга
Станислав Матвеев
3.78 USD 3.03 USD
На складе
В корзину
Теория каваии
Теория каваии бумажная книга
Инухико Ёмота
Нет в продаже
-11%
Метабароны. Том первый
Метабароны. Том первый бумажная книга
Алехандро Ходоровский
34.87 USD 31.03 USD
В корзину
Борода
Борода бумажная книга
Селим Нидерхоффер
3.92 USD
В корзину
Справочник программиста по C/C++
Справочник программиста по C/C++ бумажная книга
Герберт Шилдт
1
Нет в продаже
-11%
Тонкое тело: Полная энциклопедия биоэнергетической медицины
Тонкое тело: Полная энциклопедия... бумажная книга
Синди Дэйл
20.9 USD 18.6 USD
В корзину

Просмотренные товары