Erdi, Peter Complexity explained - - Berlin Springer - Verlag 2008 - ix, 397p ISBN: 9783540357773 ISSN: Subjects--Index Terms: Logicall theories computational complexity Complexity Dewey Class. No.: 510.63