Title: Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories
Subjects: Formal languages, Algorithms, Symbolic and mathematical Logic, Automatic theorem proving