Mathematical logic and formal systems - Alcantara Luiz Paulo de Ed. (New York Marcel Dekker, 1985)
Keywords: Symoblic and Mathematical-Addresses; Logic