Proof, computation and agency : logic at the crossroads

Name: Proof, computation and agency : logic at the crossroads
Author: Indian Conference on Logic and its Relationship with Other Disciplines, Benthem, J. F. A. K. van, Gupta, Amitabha, Parikh, Rohit

Indian Conference on Logic and its Relationship with Other Disciplines, Benthem, J. F. A. K. van, Gupta, Amitabha, Parikh, Rohit

Proof, computation and agency : logic at the crossroads

Web Site CiNii 所蔵館 14館

書誌事項

タイトル: "Proof, computation and agency : logic at the crossroads"

責任表示: edited by Johan van Benthem, Amitabha Gupta and Rohit Parikh

出版者

Springer

出版年月

c2011

書籍サイズ: 25 cm

シリーズ名/番号

: softcover

この図書・雑誌をさがす

注記

The First Indian Conference on Logic and its Relationship with Other Disciplines took place in MUmbai at ITT Bombay, from Jan. 8-12, 2005

Includes bibliographical references

Proof, computation and agency : logic at the crossroads

書誌事項

この図書・雑誌をさがす

注記

関連図書・雑誌

詳細情報詳細情報について

書き出し

Proof, computation and agency : logic at the crossroads

書誌事項

この図書・雑誌をさがす

注記

関連図書・雑誌

詳細情報 詳細情報について

書き出し

詳細情報詳細情報について