Foundations of Mathematics from the Perspective of Computer Verification-Reference-Cited by-同舟云学术

Foundations of Mathematics from the Perspective of Computer Verification

Published:2013 Issue: Volume: Page:1-49
ISSN:
Container-title:Mathematics, Computer Science and Logic - A Never Ending Story
language:
Short-container-title:

Author:

Barendregt Henk

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-00966-7_1

Reference115 articles.

1. Ackermann, W.: Zum Hilbertschen Aufbau der reellen Zahlen. Mathematische Annalen 99, 118–133 (1928)

2. Aczel, P.: The type theoretic interpretation of constructive set theory. In: Logic Colloquium’77 (Proceedings of the Conference Wrocl_aw, 1977). Studies in Logic and the Foundations of Mathematics, vol. 96, pp. 55–66. North-Holland, Amsterdam (1978)

3. Aczel, P.: The type theoretic interpretation of constructive set theory: choice principles. In: The L. E. J. Brouwer Centenary Symposium (Noordwijkerhout, 1981). Studies in Logic and the Foundations of Mathematics, vol. 110, pp. 1–40. North-Holland, Amsterdam (1982)

4. Aczel, P.: The type theoretic interpretation of constructive set theory: inductive definitions. In: Logic, Methodology and Philosophy of Science, VII (Salzburg, 1983). Studies in Logic and the Foundations of Mathematics, vol. 114, pp. 17–49. North-Holland, Amsterdam (1986)

5. Aczel, P., Rathjen, M.: Notes on Constructive Set Theory. Technical report, Mittag Leffler Institute (2000/2001). www.ml.kva.se/preprints/meta/AczelMon_Sep_24_09_56.rdf.html

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. QED at Large: A Survey of Engineering of Formally Verified Software;Foundations and Trends® in Programming Languages;2019