000 00356nam a2200133Ia 4500
008 190711s9999 xx 000 0 und d
020 _a069108047X
082 _a510.78 S64
100 _aSMULLYAN, R.M.
245 0 _aTHEORY OF FORMAL SYSTEMS
260 _aNew Jersey
_bPrinceton University Press
_c1996
300 _aviii+141p.,23X15.5Cm
942 _cBK
_2DDC
999 _c30212
_d30212