3 ms·
does this 'heirarchy of logic' have any direct relationship to computational models, or do all (non-hyper) models fall under a single category?
by sewercake 10y ago
does this 'heirarchy of logic' have any direct relationship to computational models, or do all (non-hyper) models fall under a single category?