Вы здесь

Constructive Logics. Part I: A tutorial on Proof Systems and Typed -Calculi

Автор: 
Количество экземпляров: 
1
Колл. автор: 
Вид: 
Препринт
Год: 
1991
Стр.: 
81 p.
Библиография: 
Bibliogr.: p.80-81.
Место издания: 
Номер: 
8
Карточка: 

Б2.13, Б2.14.

Gallier J..

Constructive Logics. Part I: A tutorial on Proof Systems and Typed -Calculi-Paris., 1991.-81 p.-(Препринт Digital №8).
Bibliogr.: p.80-81.

Таблица в старой библиотеке: 
PREP1 597