Hacker News new | ask | show | jobs
Understanding the terminology of logical reasoning in computer science (2024) (rbachmann.net)
2 points by rb-2 842 days ago