語系
跳至 : 概要 | 書目資訊 | 主題

Benthem, Johan van.

概要
作品: 0 作品在 1 項出版品 1 種語言
書目資訊
Proof, computation and agency = logic at the crossroads / by: Benthem, Johan van.; Gupta, Amitabha.; Parikh, Rohit.; SpringerLink (Online service) (書目-電子資源)
Readings in formal epistemology = sourcebook / by: Arlo-Costa, Horacio.; Hendricks, Vincent F.; Benthem, Johan van.; SpringerLink (Online service) (書目-電子資源)
Games, norms and reasons = logic at the crossroads / by: Benthem, Johan van.; Gupta, Amitabha.; Pacuit, Eric.; SpringerLink (Online service) (書目-電子資源)
 
 
變更密碼
登入