MLA

Aher, et al. Logic, Language, and Computation. Springer Berlin Heidelberg, 2015.

APA

Aher, A., Hole, D., Jeřábek, E., & Kupke, C. (2015). Logic, Language, and Computation. Springer Berlin Heidelberg.

Chicago

Aher, Daniel Hole, Emil Jeřábek, and Clemens Kupke. Logic, Language, and Computation. : Springer Berlin Heidelberg, 2015.