Complexity of Boolean algebras

This publication has 5 references indexed in Scilit:

• Rudimentary Predicates and Relative Computation
  SIAM Journal on Computing, 1978
• The polynomial-time hierarchy
  Theoretical Computer Science, 1976
• A Decision Procedure for the First Order Theory of Real Addition with Order
  SIAM Journal on Computing, 1975
• The complexity of theorem-proving procedures
  Published by Association for Computing Machinery (ACM) ,1971
• An application of games to the completeness problem for formalized theories
  Fundamenta Mathematicae, 1960