The University of Texas at Austin (via edX)
Automated Logical Reasoning
Be the first to review this resource
Free to audit, certificate paid