GitHub repository: norbit8/Logic
Primary language: Python
Description: Introduction to mathematical logic for programming-oriented students