000 00683nam a2200241Ia 4500
003 OSt
005 20220912151512.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a19658
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aB217, L3-;1
100 _aOberschelp A
245 0 _aOn the metamathematics of impredicative set theory
260 _aWarszawa
_bPanstwowe Wydawnictwo Nankowe
_c1978
300 _a45p.
_ccm.
490 _aDissertationes mathematicae: Rozprawy mathematyczne; 98
942 _hB217, L3-;1
_cTEXL
_2CC
999 _c70165
_d70165