History and Philosophy of Logic. 1988;9(1):67-75. doi: 10.1080/01445348808837126 N/A0.52025
Die kontroverse um die intuitionistische logik vor ihrer axiomatisierung durch heyting im jahre 1930
DOI: 10.1080/01445348808837126
摘要
History and Philosophy of Logic. 1988;9(1):67-75. doi: 10.1080/01445348808837126 N/A0.52025
DOI: 10.1080/01445348808837126
摘要