hjbolus / mathematical-logic-through-python Goto Github PK
View Code? Open in Web Editor NEWPython package based on my solutions to the textbook Mathematical Logic Through Python by Nisan and Gonczarowski
Home Page: https://www.logicthrupython.org/