Вы здесь

A Natural Deduction Approach to Dynamic Logic

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1996
Стр.: 
P.165-182.
Библиография: 
Bibliogr.: p.181-182.
Издательство: 
Том: 
1158
Карточка: 

Б2.1, В2.11.

Honsell F., Miculan M..

A Natural Deduction Approach to Dynamic Logic: Springer// Lecture Notes in Computer Science-1996.-Vol. 1158.-P.165-182.
Bibliogr.: p.181-182.

Таблица в старой библиотеке: 
PAP15 767