3 ms·I’m arguing that logic is a subfield of CS, so “constructing” CS “from” logic isn’t a contradiction.by l33t2328 5y agoI’m arguing that logic is a subfield of CS, so “constructing” CS “from” logic isn’t a contradiction.