Alcantara Luiz Paulo de Ed. Mathematical logic and formal systems - New York Marcel Dekker 1985 - xiv,297p - Lecture notes in pure and applied mathematics; 94 . Standard No.: 19563 Source: Textual Subjects--Topical Terms: Symoblic and Mathematical-AddressesLogic Dewey Class. No.: B:(R1)jN30, M5