The complexity of logical theories, Theoret (1980)

by L BERMAN
Venue:Compur. Sci