• Thumbnail for Logical connective
    conditional /operator/". Stack Overflow. Retrieved 9 April 2015. Chao, C. (2023). 数理逻辑:形式化方法的应用 [Mathematical Logic: Applications of the Formalization Method] (in...
    31 KB (3,053 words) - 21:26, 18 April 2024