000 00685nam0a22002050004500
001 122500
005 20200804123035.0
010 _a0-691-08047-X
_b(Brochado)
090 _a122500
100 _a19970327d1961 k y0pory5003 ba
101 0 _aeng
102 _aUS
200 1 _aTheory of formal systems
_fRaymond M. Smullyan
210 _aPrinceton
_cPrinceton University Press
_dcop. 1961
215 _aVIII, 142 p.
_d23 cm
225 2 _aAnnals of mathematics studies
_v47
675 _a510.5
_vint
_zeng
700 1 _aSmullyan,
_bRaymond M
942 _cLIVRO
_n0