MLA

Pudlák, Pavel, and Pudlák. Logical Foundations of Mathematics and Computational Complexity. Springer International Publishing, 2013.

APA

Pudlák, P.Pudlák, P. (2013). Logical Foundations of Mathematics and Computational Complexity. Springer International Publishing.

Chicago

Pudlák, Pavel, and Pudlák. Logical Foundations of Mathematics and Computational Complexity. : Springer International Publishing, 2013.