Three views of logic : mathematics, philosophy, and computer science /

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Loveland, Donald W.
অন্যান্য লেখক: Hodel, Richard E., Sterrett, Susan G.
বিন্যাস: Printed Book
প্রকাশিত: Princeton: Princeton University, 2014.
বিষয়গুলি:
Proof theory.
Computable functions.
Nonclassical mathematical logic.

MAT

হোল্ডিংসের বিবরণ MAT
ডাক সংখ্যা: 510.21 LOV
প্রতিলিপি বর্তমান অবস্থা অনুপলব্ধ

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