Creative subject, Beth models and neighbourhood functions Victor N. Krivtsov OriginalPaper Pages: 89 - 102
Epsilon substitution method for elementary analysis Grigori MintsSergei TupailoWilfried Buchholz OriginalPaper Pages: 103 - 130