প্রচ্ছদ
কিউআর কোড

Proof, Computation and Agency Logic at the Crossroads /

সংরক্ষণ করুন:
প্রধান লেখক: van Benthem, Johan
সংস্থা লেখক: SpringerLink (Online service)
অন্যান্য লেখক: Gupta, Amitabha, Parikh, Rohit
বিন্যাস: বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ
ভাষা:ইংরেজি
প্রকাশিত: Dordrecht : Springer Netherlands, 2011.
মালা:Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 352
বিষয়গুলি:
Philosophy (General).
Logic.
Philosophy, modern.
Computer science.
Logic, Symbolic and mathematical.
Philosophy.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Non-Western Philosophy.
অনলাইন ব্যবহার করুন:http://dx.doi.org/10.1007/978-94-007-0080-2
ট্যাগগুলো: ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!

অনুরূপ উপাদানগুলি: Proof, Computation and Agency

অনুরূপ উপাদানগুলি