Книги автора «C.P. Wadsworth»

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

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

Книги

Edinburgh LCF. A Mechanized Logic of Computation

Edinburgh LCF. A Mechanized Logic of Computation (M. Gordon,R. Milner,C.P. Wadsworth)