Tag: semi

Semi-Decidable Theory

A semi-decidable theory allows for an algorithm to list all its theorems.…

Steven Haynes