Open Internet by MindsNet

Model Theory Workbench

Structures that satisfy logical theories

Mathematics & logic, Mathematics, Mathematical Logic