libcats.org
Главная →
Proof, Computation and Agency: Logic at the Crossroads (Synthese Library, 352)
Proof, Computation and Agency: Logic at the Crossroads (Synthese Library, 352)
Johan van Benthem, Amitabha Gupta, Rohit Parikh
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги:
|