The Computational Complexity of Logical Theories

Publisher Website

1 January 1979

book
Published by Springer Nature in Lecture Notes in Mathematics

https://doi.org/10.1007/bfb0062837

Abstract

No abstract available

Keywords

Cited by 107 articles