/ / / Натуральный вывод. Теоретико-доказательственное исследование

Натуральный вывод. Теоретико-доказательственное исследование

Логика  1997 год  669   

Цена: 250.00 руб.

Картинка к книге Даг Правиц - Натуральный вывод. Теоретико-доказательственное исследованиеАвтор: Правиц Даг

Описание
Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода.


ISBN: 5-85582-026-2
Ссылка: https://love-magus.ru/book/206847.html
Категория: Логика
Книга 1997 года

Цена: 250.00 руб.



 

Похожие книги

Добавить комментарий

#1 написал: tahorelejaqun
Группа: Посетитель
09 февраля 2016 09:15 IP:212.48.44.242

Как называется книга..:история о любви ЭМО-боя....на обложке мальчик нарисован,держащий девушку....ПОМОГИТЕ!!!!

            

#2 написал: Spoon
Группа: Посетитель
04 марта 2016 09:36 IP:194.67.237.253

Может "Я - дурак"?

            

#3 написал: misseffie
Группа: Посетитель
10 марта 2016 21:16 IP:188.113.132.62

Для психологов, а так же для тех кто хочет идти на эту профессию,или может кто-то знает

            

#4 написал: gebohuji
Группа: Посетитель
05 апреля 2016 12:52 IP:5.227.161.64

Что вы любите почитать в туалете?

            

#5 написал: zoday
Группа: Посетитель
15 апреля 2016 00:51 IP:185.76.82.221

Биологию, литературу, русский язык. Это в Челябинский гос. университет в 2003 году.

            

#6 написал: zehom
Группа: Посетитель
15 апреля 2016 22:12 IP:95.72.214.249

Брат а это уже сугубо интим!

            

Меню сайта

ТОП авторов

Популярное

Вход для клиентов

Телеграм канал

Промокоды и скидки на книги в телеграме:

Подключиться!