Smullyan, Raymond M., Theory of formal systems / Raymond M. Smullyan. - 147 páginas : ilustraciones. Subjects--Topical Terms: LOGICA SIMBOLICA. Dewey Class. No.: 164