Title: Finitely axiomatizable theories
First published: 1997
Subjects: Axiomatic recursion theory