search

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook
http://openlogicproject.org/
Creative Commons Attribution 4.0 International
1.04k stars 237 forks source link

Addition is definable in restricted PA² #294

Closed feffemannen closed 2 years ago

feffemannen commented 2 years ago

Fixes #234

rzach commented 2 years ago

Excellent!