Uploads by Yifeng Ding

Wiedijk 2009 - Formalizing Arrow's Theorem

Varieties of Heyting algebras and superintuitionistic logics

Tutorial on Localic Topology

Tutorial on Boolean Ultrapowers

Tutorial on Boolean Ultrapowers

Introduction to Categorical (Linear) Logic

科学与爱国 严复思想新探 by 习近平 (Z-lib.org)

汉译世界学术名著丛书A0903 [德]G．弗雷格-算术基础——对于数这个概念的一种逻辑数学的研究（王路译，王炳文校，商务印书馆2001） by [德]G．弗雷格；王路译，王炳文校 (Z-lib.org)

逻辑通俗读本 by 金岳霖 汪奠基 沈有鼎 周礼全 张尚水 (Z-lib.org)

民国丛书第四编04009册 2 先秦辩学史.郭湛波 by .郭湛波 (z Lib.org)