Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
Mints, Grigori E., Tupailo, Sergei and Buchholtz, Wilfried. 1996. “Epsilon Substitution Method for Elementary Analysis.”Archive for Mathematical Logic 35: 103–130.
Tupailo, Sergei. 2007. “Fixpoints of Models Constructions.”Logique et Analyse 50(197): 63–78.