Вы здесь

A Typed Logic of Partial Functions Reconstructed Classically

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1994
Ключевые слова: 
Стр.: 
P.399-430.
Библиография: 
Bibliogr.: p.425-426.
Источник: 
Номер: 
5
Том: 
31
Карточка: 

Б2.14.

Jones C. B., Middelburg C. A..

A Typed Logic of Partial Functions Reconstructed Classically// Acta Informatica-1994, №5.-Vol. 31.-P.399-430.
Bibliogr.: p.425-426.

Таблица в старой библиотеке: 
PAP9 604