000			00565nam a22002177a 4500
005			20160311164239.0
008			160311b xxu||||| |||| 00| 0 eng d
020			_a9780691080475
040			_aNISER LIBRARY
041			_aEnglish
082			_a517.518.2 _bSMU-T
100			_aSmullyan, R.M.
245			_aTheory of formal systems
260			_aPriceton _bPUP _c1996
300			_aviii, 142p. pbk.
440			_aAnnals of mathematics studies, no. 47
650			_aMATHEMATICS
650			_aTHEORY OF FUNCTION
650			_aFUNCTION THEORY
942			_cBK
999			_c23857 _d23857