/mathematical-logic

Prolog programs for Mathematical Logic for Computer Science (3rd Edition)

Primary LanguageProlog

Stargazers