Thoughts on Construction Risk Mitigation and Acceptance
- 期刊名称Structural Engineering International
- 作者Tanner, Peter; Hingorani, Ramon; Bellod, Juan Luis; Sanz, David
- 卷第28卷
- 期第1期
- 印刷ISSN1016-8664
- 电子ISSN1683-0350
- 文件大小17762.99KB
- 发表时间2018-01-02
- DOI10.1080/10168664.2018.1431428
- 页码60-70
Kurt Gödel (Essays for His Centennial) || IntroductionFeferman, Solomon; Parsons, Charles; Simpson, Stephen G. · 2010
Kurt Gödel (Essays for His Centennial) || Gödel and CarnapFeferman, Solomon; Parsons, Charles; Simpson, Stephen G. · 2010
Kurt Gödel (Essays for His Centennial) || Gödel and set theoryFeferman, Solomon; Parsons, Charles; Simpson, Stephen G. · 2010
Kurt Gödel (Essays for His Centennial) || On the question of absolute undecidabilityFeferman, Solomon; Parsons, Charles; Simpson, Stephen G. · 2010
Kurt Gödel (Essays for His Centennial) || Gödel's conceptual realismFeferman, Solomon; Parsons, Charles; Simpson, Stephen G. · 2010
Kurt Gödel (Essays for His Centennial) || Future tasks for Gödel scholarsFeferman, Solomon; Parsons, Charles; Simpson, Stephen G. · 2010
Kurt Gödel (Essays for His Centennial) || Gödel and the metamathematical traditionFeferman, Solomon; Parsons, Charles; Simpson, Stephen G. · 2010
Kurt Gödel (Essays for His Centennial) || The Gödel hierarchy and reverse mathematicsFeferman, Solomon; Parsons, Charles; Simpson, Stephen G. · 2010