English Beginner Proof and Disproof in Formal Logic: An Introduction for Programmers Richard Bornat 2005 مشاهدهٔ کتاب
