共 50 条
- [33] DESTRUCTION-DECONSTRUCTION IN THE TEXT OF NIETZSCHE BOUNDARY 2-AN INTERNATIONAL JOURNAL OF LITERATURE AND CULTURE, 1979, 8 (01): : 196 - 222
- [37] An extensible proof text editor LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS, 2000, 1955 : 70 - 84