Metamathematics, machines and Godel's proof.

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Shankar, N
বিন্যাস: Printed Book
ভাষা:English
প্রকাশিত: Cambridge: Cambridge University Press, 1994.
বিষয়গুলি:
Godel;s theorem.
বিবরন
দৈহিক বর্ননা:xv, 202p.

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