*逻辑史 logic, history of
一阶逻辑的出现 first-order logic (William Ewald)直觉主义逻辑的发展 intuitionistic logic (Mark van Atten)现代模态逻辑的起源 modal logic (Roberta Ballarin)*证明论——见证明论:证明论的发展 proof theory — see proof theory: development of*早期集合论——见集合论:集合论的早期发展 set theory, early — see set theory: early development
最后更新于