TY - DATA AU - Lolli, G., editor. TI - Recursion Theory and Computational Complexity SN - 9783642110726, 978-3-642-11072-6 U1 - 511.3, PY - 2011/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Logic, Symbolic and mathematical KW - Mathematical Logic and Foundations KW - Mathematics N1 - Mathematics and Statistics (Springer-11649) UR - http://dx.doi.org/10.1007/978-3-642-11072-6 ER -