Questions related to mathematical logic and its use in computer science

This tag is used for Logic in Computer Science and Mathematical Logic questions.

Do not use this tag for digital circuit design questions, use and tags.

history | excerpt history