00599nam0-22002291i-450-990001305050403321000130505FED01000130505(Aleph)000130505FED0100013050520000920d--------km-y0itay50------baengTheory of Formal Systemsby SMULLYAN R.M.Smullyan,Raymond M.50650ITUNINARICAUNIMARCBK990001305050403321C-11-(473769MA1MA1Theory of Formal Systems340274UNINAING01