Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
Weierman, Andreas. 1998. “How is It That Infinitary Methods Can Be Applied to Finitary Mathematics? Gödel’s \(T\): A Case Study.”The Journal of Symbolic Logic 63(4): 1348–1370.