Вы здесь

Главная

Logic of Proofs

Автор: 
Artemov S. N.
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2004
Ключевые слова: 
аксиоматический
семантика
полнота
Место издания: 
Москва
Источник: 
Moscow Computer Sience School 2004
Карточка: 

Б2.13.

Artemov S. N..

Logic of Proofs-Москва.// Moscow Computer Sience School 2004, 2004.

Таблица в старой библиотеке: 
PAP29 482