MLA

Beckmann, Arnold, et al. Logical Approaches to Computational Barriers. Springer Berlin / Heidelberg, 2006.

APA

Beckmann, A., Berger, U., Kanade, T., Löwe, B., & Tucker, J. V. (2006). Logical Approaches to Computational Barriers. Springer Berlin / Heidelberg.

Chicago

Beckmann, Arnold, Ulrich Berger, Takeo Kanade, Benedikt Löwe, and John V Tucker. Logical Approaches to Computational Barriers. : Springer Berlin / Heidelberg, 2006.