Smullyan, Raymond M. 1919-2017 Theory of formal systems by Raymond M. Smullyan - Rev. ed. - 147 S. - Annals of mathematics studies 47 . - 47,rev . - Annals of mathematics studies 47,rev . Smullyan, Raymond M.: Theory of Formal Systems ISBN: 069108047X Patent No.: 220799687 Nat. Bib. Agency Control No.: 257860899 US-OCoLC Subjects--Index Terms: