Natural Deduction in Logic (2015) | Hacker News

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

		Natural Deduction in Logic (2015) (uaic.ro)
		3 points by Rexxar on Sept 16, 2023 \| hide \| past \| favorite

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