Proof theory: sequent calculi and related formalisms

other_versions_link
গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Bimbo, Katalin
বিন্যাস: Printed Book
ভাষা:English
প্রকাশিত: Boca Raton CRC Press 2015
বিষয়গুলি:
Proof theory
বিবরন
দৈহিক বর্ননা:376p.

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