jlwbr / logic-introduction Goto Github PK
View Code? Open in Web Editor NEWThis project forked from jkorb/ki1v13001-inleiding-logica
The lecture notes for my intro logic course for first-year AI students at Utrecht University (KI1V13001 - Inleiding Logica).