Beweise und Programme : Anmerkungen zu Heytings Formalisierung der intuitionistischen Logik / Helmut Schwichtenberg
| Τόπος έκδοσης: | [BuA, 8].(2000) S. 71 - 96 |
|---|---|
| Κύριος συγγραφέας: | |
| Μορφή: | Άρθρο |
| Γλώσσα: | German |
| Σχετικά τεκμήρια: | In:
[BuA, 8].(2000) |
| Η περιγραφή δεν είναι διαθέσιμη |