Mechanizing Mathematical Reasoning

MLA

Goos, Gerhard, et al. Mechanizing Mathematical Reasoning. Springer Berlin / Heidelberg, 2005.

APA

Goos, G., Hartmanis, J., Hutter, D., Siekmann, J. H, Stephan, W., & van Leeuwen, J. (2005). Mechanizing Mathematical Reasoning. Springer Berlin / Heidelberg.

Chicago

Goos, Gerhard, Juris Hartmanis, Dieter Hutter, Jörg H Siekmann, Werner Stephan, and Jan van Leeuwen. Mechanizing Mathematical Reasoning. : Springer Berlin / Heidelberg, 2005.