Henkin, Gennadi; Leiterer, Jurgen

• Theory of Functions on Complexity