互逆主义逻辑、数学和它们的应用(英文版)出版时间:2013年版内容简介 Since then, I have been constructing mutually-inversistic mathematical logic. Now, itis fully fledged. It includes mutually-inversistic logic, mutually-inversistic mathematics,and their applications. Mutually-inversistic logic includes two calculi and four theoriesof mutual-inversism, mutually-invers...