Gottlob is an application and library for exploring classical and non-classical logics. I'm using An Introduction to Non-Classical Logic as my primary reference.
Gottlob is an application and library for exploring classical and non-classical logics. I'm using An Introduction to Non-Classical Logic as my primary reference.