Încărcări
Wiedijk 2009 - Formalizing Arrow's Theorem 0% au considerat acest document utilVarieties of Heyting Algebras and Superintuitionistic Logics 0% au considerat acest document utilTutorial On Boolean Ultrapowers 0% au considerat acest document utilTutorial On Localic Topology 0% au considerat acest document utilTutorial On Boolean Ultrapowers 0% au considerat acest document utilIntroduction To Categorical (Linear) Logic 0% au considerat acest document util科学与爱国 严复思想新探 by 习近平 0% au considerat acest document util汉译世界学术名著丛书A0903 (德) G.弗雷格-算术基础 - 对于数这个概念的一种逻辑数学的研究(王路译,王炳文校,商务印书馆2001) by (德) G.弗雷格;王路译,王炳文校 0% au considerat acest document util逻辑通俗读本 by 金岳霖 汪奠基 沈有鼎 周礼全 张尚水 0% au considerat acest document util民国丛书第四编04009册 2 先秦辩学史.郭湛波 by .郭湛波 (z Lib.org) 0% au considerat acest document util