Proof, computation and agency : logic at the crossroads

作者：edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh.
出版社：Springer Science+Business Media B.V.
ISBN：9789400700802 (electronic bk.) ; 9789400700796 (paper)
出版日期：2011
其他作者：Benthem, Johan van. ; Gupta, Amitabha. ; Parikh, Rohit.
語言：zh
出版地：Dordrecht :
內容簡介

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

搜尋同作者