On the complexity of proof systems.
Published: 1996
Language: eng
Number of pages: 77