×

找到4个文档(结果1-4)

作为一个框架的范畴理论在re中数学结构主义的解释。 (英语) 兹比尔1122.18001

van Benthem,Johan(编辑)等人,《替代逻辑的时代》。今天评估逻辑和数学哲学。基于2002年9月30日至10月4日在法国南希举行的逻辑和数学哲学见解会议。多德雷赫特:施普林格(ISBN 978-1-4020-5011-4/hbk;978-1-4020-5012-7/电子书)。《逻辑、认识论和科学的统一》3,163-179(2006)。
PDF格式BibTeX公司 XML格式引用

数学真理不可能是什么。或者:透过黑暗的玻璃。 (英语) Zbl 0943.0302号

Cooper,S.Barry(编辑)等,《集合与证明》。1997年7月6日至13日,英国利兹,符号逻辑协会欧洲会议,1997年逻辑学术讨论会邀请论文。剑桥:剑桥大学出版社。伦敦。数学。Soc.Lect(社会学)。注释序列号。258, 27-51 (1999).
MSC公司:03A05号 00A30型
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

序列号

出版年份

传记参考