Title: Finitely axiomatizable theories
First published: 1997
Subjects: Axiomatic recursion theory
LC classification: QA9.6 .P47 1997