Menu
Home
Help and information
About this website
Privacy Policy
Rohit Parikh
1 published title
Proof, computation and agency : logic at the crossroads
(Contributor)
1 edition
ISBN: 9789400700796
Springer
2011
Details