共 50 条
- [32] Cut-elimination in the theory of definable sets of natural numbers PUBLICATIONES MATHEMATICAE-DEBRECEN, 1997, 51 (1-2): : 153 - 164
- [33] MODELS OF GENERAL THEORY OF SETS CONSTRUCTED ON EPSILON-NUMBERS ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1969, 15 (03): : 239 - &
- [36] NOTES ON THEORY OF INTEGRAL .4. BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1970, 18 (10): : 589 - &