Книги автора «C. E. Brown»

На данной странице предаставлены все книги автора «C. E. Brown»

Зарегистрироваться на сайте Подробнее
Какие книги написал «C. E. Brown»

Книги

Automated Reasoning in Higher-Order Logic. Set Comprehension and Extensionality in Church's Type Theory

Automated Reasoning in Higher-Order Logic. Set Comprehension and Extensionality in Church's Type Theory (C. E. Brown)