Logic in Computer Science

MLA

Zhang, Hantao, and Jian Zhang. Logic In Computer Science. Singapore: Springer, 2025.

APA

Zhang, H., & Zhang, J. (2025). Logic in Computer Science. Singapore: Springer.

Chicago

Zhang, Hantao., and Jian Zhang. Logic In Computer Science. Singapore: Springer, 2025.