Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik

Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik / Helmut Schwichtenberg

গ্রন্থ-পঞ্জীর বিবরন
প্রকাশিত:[BuA, 8].(2000) S. 71 - 96
প্রধান লেখক: Schwichtenberg, Helmut (Author)
বিন্যাস: প্রবন্ধ
ভাষা:German
সম্পর্কিত উপাদান:In: [BuA, 8].(2000)
বিবরন
বর্ণনা উপলবদ্ধ নয়।

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