APA (7th ed.) Citation

Duží, M., Jespersen, B., & Materna, P. (2010). Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic. Springer Netherlands : Imprint: Springer.

Chicago Style (17th ed.) Citation

Duží, Marie, Bjorn Jespersen, and Pavel Materna. Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic. Dordrecht: Springer Netherlands : Imprint: Springer, 2010.

MLA (8th ed.) Citation

Duží, Marie, et al. Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic. Springer Netherlands : Imprint: Springer, 2010.