GitHub repository: scsibug/tarski_logic
Description: Solutions for Tarski's Introduction to Logic