Вы здесь

Faggian C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Classical Proofs via Basic Logic 1998 Faggian C. Lecture Notes in Computer Science 19.06.1998