The Computational Complexity of Logical Theories
Автор
J. Ferrante
Год
1979
Страниц
251
ISBN
ISBN10:3540095012
Издатель
Springer
Описание:
