Add basic overview to model theory section (#65)#391

StanFromIreland wants to merge 1 commit intoOpenLogicProject:masterOpenLogicProject/OpenLogic:masterfrom

StanFromIreland:model-theoryStanFromIreland/OpenLogic:model-theoryCopy head branch name to clipboard