Wahrheit und Beweisbarkeit : Heytings formale Regeln der intuitionistischen Logik und ihre philosophische Bedeutung / Carl Friedrich Gethmann
Հրատարակված է: | [BuA, 8].(2000) S. 45 - 70 |
---|---|
Հիմնական հեղինակ: | |
Ձևաչափ: | Հոդված |
Լեզու: | German |
Առնչվող նյութ: | In:
[BuA, 8].(2000) |
Նկարագրությունը հասանելի չէ: |