作者: Rohit Parikh

支持

1 电子书 Rohit Parikh

Johan van Benthem & Amitabha Gupta: Proof, Computation and Agency
Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm …
PDF
英语
€149.79