Title: The Computational Complexity of Logical Theories
            
                Lecture Notes in Mathematics
Subjects: Mathematicians, Mathematics, Mathematics, general