Understanding the terminology of logical reasoning in computer science (2024)
rbachmann.net