Skip to content
/ Mathematical-Logic-Through-Python Public

Python package that provides an interface to work with classical propositional and first-order logic, based on my solutions to the textbook Mathematical Logic Through Python by Nisan and Gonczarowski

www.logicthrupython.org/
7 stars 3 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

hjbolus/Mathematical-Logic-Through-Python

Error
Looks like something went wrong!

About

Python package that provides an interface to work with classical propositional and first-order logic, based on my solutions to the textbook Mathematical Logic Through Python by Nisan and Gonczarowski

www.logicthrupython.org/

Topics

logic logic-programming propositional-logic mathematical-logic propositional-calculus logical-operators propositional-proof-system logical-programming predicate-calculus predicate-logic philosophical-logic

Resources

Readme
Activity

Stars

7 stars

Watchers

2 watching

Forks

3 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages