The complexity of logical theories. Theoret (1980)

by L Berman
Venue:Comput. Sci