Вы здесь

A Framework for Defining Logics

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

Б2.23, Б2.14.

Harper R., Honsell F., Plotkin G..

A Framework for Defining Logics// J. of the ACM-1993, №1.-Vol. 40.-P.143-184.
Bibliogr.: p.182-184.

Таблица в старой библиотеке: 
ACM2 374