Hacker Newsnew | past | comments | ask | show | jobs | submit | from login

Natural Deduction in Logic (2015) (uaic.ro) 15 points by Rexxar on Jan 11, 2024 | past | 5 comments Natural Deduction in Logic (2015) (uaic.ro) 3 points by Rexxar on Sept 16, 2023 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: