https://dds.las.ac.cn/service/book?appId=a1vacbnPuv9qJRzJvdNXfsesj9JbIa6e&appKey=sPBA4vANLzjnW1k5eufEcc4k7dxfNraW&ts=1730416329124&signature=614c628b0bb2206999fc6c5786cf8829&name=Outlines+of+a+formalist+philosophy+of+mathematics%3A&author=Curry%2C+Haskell+B.&publishYear=1951&isn=&publisher=Amsterdam+%3A+North-Holland+pub.+co.%2C+1951.&destLibCode=311001&destLibName=中国科学院文献情报中心&agentLibCode=311001&agentLibName=中国科学院文献情报中心