2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему
 
 Даг Правиц Натуральный вывод. Теоретико-доказательное исслед
Сообщение05.04.2013, 09:05 


08/03/11
273
Помогите найти книгу

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

Издательство: Лори
ISBN 5-85582-026-2; 1/1/1997 г.

С уважением Александр Дорин
e-mail alex_dorin@rambler.ru
skype alexander_a_dorin

 Профиль  
                  
 
 Re: Даг Правиц Натуральный вывод. Теоретико-доказательное исслед
Сообщение05.04.2013, 17:02 
Заслуженный участник


15/05/05
3445
USA
На английском не подойдет?
Prawitz D. Natural Deduction: A Proof-Theoretical Study

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 2 ] 

Модератор: Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group