Вы здесь
Gentzen Calculi and Admissible Substitutions
Количество экземпляров:
1
Колл. автор:
Вид:
Статья из сборника или журнала
Год:
1991
Ключевые слова:
Стр.:
P.99-111.
Библиография:
Bibliogr.: p.111
Место издания:
Источник:
Карточка:
Б2.13.
Lyalyetski A..
Gentzen Calculi and Admissible Substitutions-Rocquencourt.// Informatika 91: Theoretical Computer Science and Methods of Compilation and Program Construction, 1991.-P.99-111.
Bibliogr.: p.111
Таблица в старой библиотеке:
PAP2 737