APA (7th ed.) Citation

Fiby, R., Manna, Z., & Waldinger, R. The logical basis for computer programming. Vol. 2: Deductive Systems.

Chicago Style (17th ed.) Citation

Fiby, Rudolf, Z. Manna, and R. Waldinger. The Logical Basis for Computer Programming. Vol. 2: Deductive Systems.

MLA (9th ed.) Citation

Fiby, Rudolf, et al. The Logical Basis for Computer Programming. Vol. 2: Deductive Systems.