Proof, computation and agency : logic at the crossroads

Author：edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh.
Publisher：Springer Science+Business Media B.V.
ISBN：9789400700802 (electronic bk.) ; 9789400700796 (paper)
Publication Date：2011
其他作者：Benthem, Johan van. ; Gupta, Amitabha. ; Parikh, Rohit.
語言：zh
出版地：Dordrecht :
Description

xxiv, 371 p. ::ill., digital ;:24 cm.

Search Same Author